coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	kirchner	2004-03-29
*	* empty log message *	narboux	2004-03-29
*	* empty log message *	narboux	2004-03-29
*	* empty log message *	kirchner	2004-03-29
*	* empty log message *	narboux	2004-03-29
*	* empty log message *	narboux	2004-03-27
*	* empty log message *	narboux	2004-03-27
*	ajout macros	narboux	2004-03-27
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	kirchner	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	kirchner	2004-03-26
*	* empty log message *	kirchner	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	* empty log message *	kirchner	2004-03-26
*	* empty log message *	narboux	2004-03-26
*	MAJ passage coqart a la nouvelle syntaxe de autorewrite et hint rewrite	herbelin	2004-03-24
*	* empty log message *	narboux	2004-03-24
*	Hint Rewrite, ancienne syntaxe	herbelin	2004-03-19
*	Quelques erreurs	herbelin	2004-03-17
*	MAJ autorewrite/Hint Rewrite	herbelin	2004-03-17
*	Ajout %bool	herbelin	2004-03-17
*	maj biblio faq	narboux	2004-03-17
*	* empty log message *	narboux	2004-03-16
*	* empty log message *	kirchner	2004-03-15
*	on vire core.tex	kirchner	2004-03-15
*	* empty log message *	narboux	2004-03-12
*	* empty log message *	kirchner	2004-03-12
*	ajout d'un embryon de faq	kirchner	2004-03-12
*	conformite V8	mohring	2004-03-12
*	Ajout stepl et stepr	herbelin	2004-03-10
*	Correctif Tactic Notation	herbelin	2004-03-03
*	Documentation de 'Tactic Notation'	herbelin	2004-03-02
*	Ajout 'replace in'	herbelin	2004-03-01
*	doc coqdoc	filliatr	2004-02-24
*	petits bug dans chapitre des modules	barras	2004-02-23
*	Typos et passage v7->v8	herbelin	2004-02-23
*	MAJ cas special du motif '{ x }'	herbelin	2004-02-12
*	Modification of the documentation of functional induction/Scheme.	coq	2004-02-06
*	Suppression de 'Print.' en v8	herbelin	2004-01-29
*	Ajout option -xml	herbelin	2004-01-22
*	Ajout coercions dans les constructeurs et les declarations	herbelin	2004-01-22
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	unicode dans coqide	marche	2004-01-14
*	bugs, mise en page, complements	herbelin	2004-01-07
*	Bug	herbelin	2004-01-07