coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ	herbelin	2001-09-08
*	MAJ	herbelin	2001-09-06
*	m.a.j. PROBLEMES/TODO	letouzey	2001-05-11
*	MAJ	herbelin	2001-04-13
*	MAJ	herbelin	2001-03-23
*	extraction naive de fix et case	filliatr	2001-03-20
*	MAJ	herbelin	2001-02-14
*	MAJ	herbelin	2001-02-09
*	* empty log message *	mohring	2001-02-02
*	bug Variable + Record	filliatr	2001-02-01
*	MAJ	herbelin	2001-01-30
*	MAJ	herbelin	2001-01-24
*	Ajout de commentaire coqweb	mohring	2001-01-15
*	Mise a jour Rbase	mohring	2001-01-11
*	MAJ	herbelin	2000-12-26
*	MAJ	herbelin	2000-12-26
*	MAJ	herbelin	2000-12-26
*	MAJ	herbelin	2000-12-26
*	MAJ	herbelin	2000-12-25
*	MAJ	herbelin	2000-12-20
*	DEMOS passe et MUTUAL-EXCLUSION aussi modulo Realizer	delahaye	2000-12-19
*	Correction associativite de Repeat/Orelse	delahaye	2000-12-19
*	MAJ	herbelin	2000-12-18
*	Mise a jour	mohring	2000-12-18
*	Mise a jour	mohring	2000-12-18
*	mise a jour	filliatr	2000-12-15
*	MAJ	herbelin	2000-12-15
*	Mise a jour	mohring	2000-12-15
*	MAJ	herbelin	2000-12-14
*	Mise a jour	mohring	2000-12-14
*	LetIn dans Simpl	mohring	2000-12-14
*	MAJ	herbelin	2000-12-14
*	mise a jour	filliatr	2000-12-12
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	* empty log message *	mohring	2000-12-12
*	Hint Unfold Local + commentaires	mohring	2000-12-12
*	numarg -> pure_numarg a poursuivre	mohring	2000-12-11
*	* empty log message *	sacerdot	2000-12-06
*	* empty log message *	mohring	2000-12-06
*	* empty log message *	mohring	2000-12-06
*	* empty log message *	mohring	2000-12-06
*	* empty log message *	mohring	2000-12-06
*	* empty log message *	mohring	2000-12-06
*	Pour la phase debugage	mohring	2000-12-06