coq - The formal proof system

Age	Commit message (Expand)	Author
2013-11-29	Testsuite: flatten the 'bugs/opened' directory.	xclerc
2013-09-20	Use "Fail" rather than rely on exit code.	xclerc
2013-01-18	Unset Asymmetric Patterns	pboutill
2010-06-13	Addressed bug #2310 and replaced anomaly "unknown meta" raised by "refine"	herbelin
2010-04-07	Granting wish #2251 thanks to commit 12900 solved bug 1416.v (which	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2008-07-17	Uniformisation du format des messages d'erreur (commencent par une	herbelin
2008-06-03	Temporarily disabling automatic test for bug 1338.v	notin
2008-05-07	Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757	herbelin
2008-04-17	Bug squashing day !	msozeau
2008-04-15	Mises à jour bugs, CHANGES, code mort	herbelin
2008-03-28	Correction du bug 1816 (ajout d'un lemme dans Znat) et suppression	notin
2008-03-26	Diverses petites modifs dans la test-suite:	notin
2008-01-24	Fermeture du bug #1754	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
2007-12-21	Ajouts de quelques tests sur les bugs	notin
2007-12-11	Test pour le bug #1754	notin
2007-09-21	Correction d'un bug dans check + ajout de tests	notin
2007-08-22	Correction du bug #1634 + ajout de bugs dans la test-suite	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