coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Typos, ajout Set Printing All	herbelin	2004-04-17
*	Ajout doc notation avec motifs recursifs	herbelin	2004-04-13
*	Ajout %bool	herbelin	2004-03-17
*	Correctif Tactic Notation	herbelin	2004-03-03
*	Documentation de 'Tactic Notation'	herbelin	2004-03-02
*	MAJ cas special du motif '{ x }'	herbelin	2004-02-12
*	ajout d'une passe de latex our avoir un index correct	barras	2004-01-14
*	bugs, mise en page, complements	herbelin	2004-01-07
*	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
*	Completion	herbelin	2003-12-28
*	Qques avancees sur la doc des scopes	herbelin	2003-12-23
*	* empty log message *	barras	2003-12-23
*	COQBIN plus necessaire, typos	marche	2003-12-19
*	index commands	marche	2003-12-09
*	Relecture	herbelin	2003-11-23
*	Relecture premiere partie	herbelin	2003-11-21
*	MAJ	herbelin	2003-11-20
*	Relecture, compl�tion Notation, plan pour les scopes	herbelin	2003-11-08
*	Bug	herbelin	2003-02-06
*	Correction bug {	desmettr	2003-02-04
*	MAJ V7.4	herbelin	2003-01-19
*	`\"' redevenu �chappement pour `"'	herbelin	2002-12-02
*	Documentation des notations	herbelin	2002-11-28
*	MAJ 7.2	herbelin	2001-12-23
*	Corrections diverses	herbelin	2001-10-17
*	MAJ diverses	herbelin	2001-10-02
*	Mise en place avertissements pour rep�rer les erreurs volontaires de coq-tex	herbelin	2001-09-24
*	correction des erreurs dans les exemples	barras	2001-04-25
*	Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre les	courant	2001-04-25
*	mise a jour des exemples Coq	barras-local	2001-04-09
*	Initial revision	filliatr	2000-12-12