coq - The formal proof system

Age	Commit message (Expand)	Author
2008-02-08	Backport code from command.ml to subtac_command.ml for definining	msozeau
2008-02-05	Ajout d'un test pour le bug #1787	notin
2008-02-01	Ajout de 2 tests	notin
2008-01-24	Fermeture du bug #1754	notin
2008-01-23	Ajout d'un test pour le bug #1779	notin
2008-01-23	Ajout d'un test pour le mode déclaratif + test pour le bug #1776	notin
2008-01-21	Correction du bug #1754	notin
2008-01-02	Better resolution of implicit parameters in typeclass binders, add extensiona...	msozeau
2007-12-21	Ajouts de quelques tests sur les bugs	notin
2007-12-12	Ajout d'un test pour le bug #1100	notin
2007-12-11	Test pour le bug #1754	notin
2007-10-04	Correction bug 1718 (lazy delta unfolding used to miss delta on rels and vars)	herbelin
2007-09-21	Correction d'un bug dans check + ajout de tests	notin
2007-09-21	- Fixing bug 1703 ("intros until n" falls back on the variable name when	herbelin
2007-08-22	Correction du bug #1634 + ajout de bugs dans la test-suite	notin
2007-08-16	Correction du bug #1322	notin
2007-08-16	Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign;	notin
2007-08-10	Modification de la test suite pour intégrer des tests spécifiques aux	notin