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