coq - The formal proof system

Age	Commit message (Expand)	Author
2004-04-17	Typos, ajout Set Printing All	herbelin
2004-04-15	In�l�gance de notation du match	herbelin
2004-04-15	MAJ date	herbelin
2004-04-15	Ajout documentation exportation XML	herbelin
2004-04-13	Ajout doc notation avec motifs recursifs	herbelin
2004-04-09	* empty log message *	narboux
2004-04-06	clauses	barras
2004-04-06	* empty log message *	barras
2004-04-06	clauses	barras
2004-04-06	* empty log message *	narboux
2004-04-05	merge fa coqide	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-05	MAJ : on laisse tomber la classe faq	kirchner
2004-04-05	* empty log message *	kirchner
2004-04-05	* empty log message *	narboux
2004-04-05	* empty log message *	narboux
2004-04-02	Amelioration explication syntaxe let et if	herbelin
2004-04-02	Bug {\ifitem}	herbelin
2004-04-02	* empty log message *	narboux
2004-04-02	* empty log message *	narboux
2004-04-02	* empty log message *	narboux
2004-04-01	* empty log message *	narboux
2004-04-01	* empty log message *	narboux
2004-04-01	* 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-29	* empty log message *	kirchner
2004-03-29	* empty log message *	narboux
2004-03-27	* empty log message *	narboux
2004-03-27	* empty log message *	narboux
2004-03-27	ajout macros	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	* 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-24	MAJ passage coqart a la nouvelle syntaxe de autorewrite et hint rewrite	herbelin
2004-03-24	* empty log message *	narboux
2004-03-19	Hint Rewrite, ancienne syntaxe	herbelin
2004-03-17	Quelques erreurs	herbelin