coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	test de la bonne position des vars de ltac entre les vars et les rels	herbelin	2005-02-02
*	The new tutorial on (co)inductive types by Pierre Casteran.	sacerdot	2005-01-12
*	Ajout test bug 860	herbelin	2004-12-27
*	Réactivation des tests output avec test aussi de la nouvelle syntaxe	herbelin	2004-12-09
*	Ajout d'une version nouvelle syntaxe	herbelin	2004-12-09
*	MAJ avec les particularités de l'afficheur v7 de la V8	herbelin	2004-12-09
*	Test d'affichage d'un Fix donné avec /n	herbelin	2004-12-09
*	Fichier non traductible (référence à des objets invisibles ce qui empêche...	herbelin	2004-12-09
*	Intégré à Implicit.v	herbelin	2004-12-09
*	Ajout suffixe 8 pour test en nouvelle syntaxe	herbelin	2004-12-09
*	Plus de statut spécial pour Remark	herbelin	2004-12-09
*	Désactivation du test du printer arithmétique v7	herbelin	2004-12-09
*	Ajout bug do_restrict_hyp	herbelin	2004-12-08
*	Erreur commit précédent	herbelin	2004-12-06
*	Ajout bug #888	herbelin	2004-12-06
*	Ajout bug #889	herbelin	2004-12-06
*	Failed in 8.0pl1	herbelin	2004-12-04
*	Was failing in 8.0pl1	herbelin	2004-12-03
*	Suppression bruit perl	herbelin	2004-11-28
*	Re-commit version nouvelle syntaxe	herbelin	2004-11-28
*	Passage à la v8 pour test parser	herbelin	2004-11-28
*	Test lieurs dans Notation	herbelin	2004-11-17
*	test-suite/output/Notations.out	herbelin	2004-11-17
*	Ajout test dependent rewrite	herbelin	2004-10-27
*	* empty log message *	herbelin	2004-10-17
*	reflexivity, symmetry, symmetry ... in e transitivity now fall-back	sacerdot	2004-10-14
*	New commands	sacerdot	2004-10-07
*	Added "as ..." parameter to Add Morphism.	sacerdot	2004-10-04
*	Added "as ..." parameters to "Add Setoid"	sacerdot	2004-10-01
*	New tactic	sacerdot	2004-09-30
*	New tactic [setoid_]rewrite ... in ... [generate side conditions ...].	sacerdot	2004-09-30
*	Test updated.	sacerdot	2004-09-29
*	Ajouts	herbelin	2004-09-25
*	Ajout bug #255	herbelin	2004-09-24
*	* New test (for setoid_replace in the general case)	sacerdot	2004-09-03
*	* setoid_test.v removed and added again in new syntax	sacerdot	2004-09-03
*	The previous test file was truncated. New commit to fix the previous	sacerdot	2004-08-23
*	Several tests for the bug-fixed and improved new version of	sacerdot	2004-07-23
*	Nouvelle en-tête	herbelin	2004-07-16
*	commentaire	herbelin	2004-06-02
*	Ajout tests affichage coercions vers Funclass	herbelin	2004-06-02
*	Ajout tests	herbelin	2004-06-02
*	Protection du destruct pour vérifier que ce n'est pas une anomalie, à défa...	herbelin	2004-05-20
*	Points-fixes avec let-in	herbelin	2004-05-03
*	Ajout test bug 711	herbelin	2004-05-02
*	Test bug 705	herbelin	2004-04-29
*	Ajout test If nouvelle syntaxe	herbelin	2004-04-28
*	Ajout exemple Bruno	herbelin	2004-04-14
*	* empty log message *	barras	2004-03-26
*	* empty log message *	barras	2004-03-24