coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Une solution au probl�me d'espacement apr�s _ dans les titres	herbelin	2004-01-07
*	plus derreur hevea/hacha	coq	2004-01-07
*	page moins haute	mohring	2004-01-06
*	doc avec frames	mohring	2004-01-06
*	addendum comme part5, htmlsplit -> hacha	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	Erreurs de derniere minute	corbinea	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	mise de copyright seulement latex	mohring	2004-01-06
*	2003-2004	mohring	2004-01-06
*	TYPES	mohring	2004-01-06
*	* empty log message *	mohring	2004-01-06
*	MAJ	herbelin	2004-01-06
*	Typos/coq-tex/divers	herbelin	2004-01-05
*	Nouvelle relecture	herbelin	2004-01-05
*	MAJ pour compilation coq-tex correcte	herbelin	2004-01-05
*	correction bugs commit precedent et mise en forme html	coq	2004-01-05
*	modif generales claude	coq	2003-12-30
*	MAJ	herbelin	2003-12-28
*	Completion	herbelin	2003-12-28
*	Ajout ref About	herbelin	2003-12-28
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	* empty log message *	barras	2003-12-24
*	Aspect mathematique de Coq	herbelin	2003-12-24
*	MAJ	herbelin	2003-12-23
*	Qques avancees sur la doc des scopes	herbelin	2003-12-23
*	Ajout intro-pattern des inductifs unaire	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	* empty log message *	barras	2003-12-23
*	MAJ Reset Initial	herbelin	2003-12-22
*	Amendements apres lecture Bruno	herbelin	2003-12-22
*	Ajout projections; reparation script coq	herbelin	2003-12-21
*	Ajout Conjecture	herbelin	2003-12-21
*	Ajout Admitted	herbelin	2003-12-21
*	Ajout symmetry in; NArithRing; Hint Local; MAJ V8; typos	herbelin	2003-12-21
*	mise a jour Cases	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	* empty log message *	mohring	2003-12-21
*	Typo	herbelin	2003-12-20