coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	barras	2004-04-06
*	Bug {\ifitem}	herbelin	2004-04-02
*	Quelques erreurs	herbelin	2004-03-17
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	MAJ	herbelin	2004-01-06
*	Typos/coq-tex/divers	herbelin	2004-01-05
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
*	modif generales claude	coq	2003-12-30
*	* empty log message *	barras	2003-12-23
*	* empty log message *	barras	2003-12-23
*	Ajout Conjecture	herbelin	2003-12-21
*	* empty log message *	barras	2003-12-19
*	* empty log message *	barras	2003-12-19
*	passe sur les labels et les refs dans chapitres tactiques	filliatr	2003-12-19
*	* empty log message *	barras	2003-12-18
*	coqide menus on golas	marche	2003-12-16
*	doc du traducteur + premiere mise a jour du refman	barras	2003-12-15
*	version et style	marche	2003-12-01
*	Renommage	herbelin	2003-11-23
*	passage V8	filliatr	2003-09-25
*	MAJ Remark/Fact	herbelin	2003-02-13
*	Corrections diverses	herbelin	2001-10-17
*	Divers	herbelin	2001-09-26
*	MAJ Opaque/Transparent, Qed/Defined	herbelin	2001-09-25
*	Orthographe	herbelin	2001-09-25
*	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-24
*	Diverses MAJ V7.1 autour des qualid	herbelin	2001-09-21
*	Pending ref's corrected	coq	2001-04-25
*	typo	herbelin	2001-04-10
*	Ajout syntaxe et regles let-in	herbelin	2001-04-09
*	mise a jour V7	filliatr	2001-04-06
*	Initial revision	filliatr	2000-12-12