coq - The formal proof system

Age	Commit message (Expand)	Author
2020-01-07	Fix test-suite fo non maximal implicit arguments	SimonBoulier
2019-05-23	Fixing typos - Part 3	JPR
2018-05-17	Introduce an option to allow nested lemma, and turn it off by default.	Théo Zimmermann
2018-03-30	Change Implicit Arguments to Arguments in test-suite	Jasper Hugunin
2017-10-19	Moving bug numbers to BZ# format in the test-suite.	Théo Zimmermann
2014-09-11	Other bugs with "inversion as" (collision between user-provided names and gen...	Hugo Herbelin
2014-09-10	Fixing inversion after having fixed intros_replacing	Hugo Herbelin
2011-02-21	Some fixes of the test-suite scripts	letouzey
2010-06-13	Fixed bug #2314 (inversion using not checking the correctness of its arguments	herbelin
2009-10-04	Removal of trailing spaces.	serpyc
2009-09-27	Fixed a bug in the interaction between dEqThen and inject_at_positions	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-12-02	fixed kernel bug (de Bruijn) + test-suite	barras
2008-11-09	- Correction erreur dans test output Notation.v	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2005-03-21	Ajout Unset Implicit Arguments manquant	herbelin
2005-03-20	Test d'un bug de 'Inv.dependent_hyps' qui ne met pas à jour le type des hyps...	herbelin
2004-03-13	Nouvel exemple; correction du contexte du précédent	herbelin
2004-03-12	Corrections	herbelin
2004-03-11	Ajout vieil exemple de coq-club	herbelin
2004-03-11	Ajout bug #540	herbelin
2003-01-19	Il ne doit plus y avoir de preuves non terminées à la sortie du fichier	herbelin
2002-11-06	Test de la correction d'un bug soumis par Dachuan Yu	herbelin