coq - The formal proof system

Age	Commit message (Expand)	Author
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin
2004-03-17	MAJ autorewrite/Hint Rewrite	herbelin
2004-02-06	Modification of the documentation of functional induction/Scheme.	coq
2004-01-14	ajout d'une passe de latex our avoir un index correct	barras
2004-01-05	MAJ pour compilation coq-tex correcte	herbelin
2004-01-05	correction bugs commit precedent et mise en forme html	coq
2003-12-30	modif generales claude	coq
2003-12-23	* empty log message *	barras
2003-12-20	Typo	herbelin
2003-12-19	* empty log message *	barras
2003-12-19	Petits changements dans la doc de functional scheme et functional induction.	coq
2003-12-19	passe sur les labels et les refs dans chapitres tactiques	filliatr
2003-12-18	maj V8	filliatr
2003-12-16	tactiques	filliatr
2003-09-25	passage V8	filliatr
2003-06-21	Added the documentation on Functional Scheme (a command, I also put	courtieu
2001-10-17	Corrections diverses	herbelin
2001-09-24	Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex	herbelin
2001-04-09	mise � jour V7; biblio Correctness	filliatr
2001-04-08	Revision Tauto, AutoRewrite + Ajout de Ltac	delahaye
2001-04-06	mise a jour V7	filliatr
2001-04-06	mise a jour V7	filliatr
2000-12-12	Initial revision	filliatr