coq - The formal proof system

Age	Commit message (Expand)	Author
2005-02-17	Test bug #922	herbelin
2005-02-02	test de la bonne position des vars de ltac entre les vars et les rels	herbelin
2005-01-12	The new tutorial on (co)inductive types by Pierre Casteran.	sacerdot
2004-12-27	Ajout test bug 860	herbelin
2004-12-09	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-08	Ajout bug do_restrict_hyp	herbelin
2004-12-06	Erreur commit précédent	herbelin
2004-12-06	Ajout bug #888	herbelin
2004-12-06	Ajout bug #889	herbelin
2004-12-04	Failed in 8.0pl1	herbelin
2004-12-03	Was failing in 8.0pl1	herbelin
2004-11-28	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-17	Test lieurs dans Notation	herbelin
2004-11-17	test-suite/output/Notations.out	herbelin
2004-10-27	Ajout test dependent rewrite	herbelin
2004-10-17	* empty log message *	herbelin
2004-10-14	reflexivity, symmetry, symmetry ... in e transitivity now fall-back	sacerdot
2004-10-07	New commands	sacerdot
2004-10-04	Added "as ..." parameter to Add Morphism.	sacerdot
2004-10-01	Added "as ..." parameters to "Add Setoid"	sacerdot
2004-09-30	New tactic	sacerdot
2004-09-30	New tactic [setoid_]rewrite ... in ... [generate side conditions ...].	sacerdot
2004-09-29	Test updated.	sacerdot
2004-09-25	Ajouts	herbelin
2004-09-24	Ajout bug #255	herbelin
2004-09-03	* 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-08-23	The previous test file was truncated. New commit to fix the previous	sacerdot
2004-07-23	Several tests for the bug-fixed and improved new version of	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2004-06-02	commentaire	herbelin
2004-06-02	Ajout tests affichage coercions vers Funclass	herbelin
2004-06-02	Ajout tests	herbelin
2004-05-20	Protection du destruct pour vérifier que ce n'est pas une anomalie, à défa...	herbelin
2004-05-03	Points-fixes avec let-in	herbelin
2004-05-02	Ajout test bug 711	herbelin
2004-04-29	Test bug 705	herbelin
2004-04-28	Ajout test If nouvelle syntaxe	herbelin
2004-04-14	Ajout exemple Bruno	herbelin
2004-03-26	* empty log message *	barras