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-10-11	Ajout pr�vention �chec en pr�sence de sous-typage	herbelin
2004-04-17	Typos, ajout Set Printing All	herbelin
2004-04-15	In�l�gance de notation du match	herbelin
2004-04-02	Amelioration explication syntaxe let et if	herbelin
2004-01-14	ajout d'une passe de latex our avoir un index correct	barras
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-23	* empty log message *	barras
2003-12-21	Ajout projections; reparation script coq	herbelin
2003-12-16	coqide menus on golas	marche
2003-12-10	presentation, biblio;	marche
2003-12-09	index commands	marche
2003-12-01	version et style	marche
2003-11-23	MAJ pour v8	herbelin
2003-11-21	Phase de relecture	herbelin
2003-09-25	passage V8	filliatr
2003-03-13	Pr�sentation	herbelin
2002-10-05	Doc module, premiere version	coq
2002-05-16	MAJ V7.3	herbelin
2001-12-23	Ajout Canonical Structure	herbelin
2001-10-26	MAJ, nettoyage coercions	herbelin
2001-10-17	Corrections diverses	herbelin
2001-09-27	\} manquant	herbelin
2001-09-26	Bug	herbelin
2001-09-26	Divers	herbelin
2001-09-25	Orthographe	herbelin
2001-09-24	Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex	herbelin
2001-09-24	MAJs Remark/Fact	herbelin
2001-09-24	Updates	herbelin
2001-09-21	Diverses MAJ V7.1 autour des qualid	herbelin
2001-04-10	Suppression des references a Match/Case	mohring
2001-04-10	MAJ Record; let in	herbelin
2000-12-12	Initial revision	filliatr