coq - The formal proof system

Age	Commit message (Expand)	Author
2015-03-09	Do not display the status of monomorphic constants unless in universe-polymor...	Guillaume Melquiond
2014-10-23	Fixing clash in output test-suite Cases.	Hugo Herbelin
2014-10-20	A patch for printing "match" when constructors are defined with let-in	Hugo Herbelin
2014-08-12	Upgrading output tests.	Hugo Herbelin
2014-07-21	Fixing output test-suite.	Pierre-Marie Pédrot
2014-05-08	Fixing output test-suite: since universe polymorphism, the Print command	Pierre-Marie Pédrot
2014-04-28	Fixing #3293 (eta-expansion at "match" printing time was failing	Hugo Herbelin
2012-05-15	Notations are back in the "in" clause of pattern matching.	pboutill
2012-01-16	Parameters in pattern first step.	pboutill
2009-01-02	Conséquence renommage canonique de refl_equal en eq_refl.	herbelin
2008-11-27	Test case for previous commit.	msozeau
2008-07-29	Update test-suite output	glondu
2007-10-05	Correction de quelques défauts d'affichage (notations sous "as" pour	herbelin
2007-09-21	- Fixing bug 1703 ("intros until n" falls back on the variable name when	herbelin
2006-06-09	Adaptation Tactics.out et Cases.out au comportement actuel à défaut d'évit...	herbelin
2005-12-21	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin
2004-12-09	MAJ avec les particularités de l'afficheur v7 de la V8	herbelin
2003-01-15	Problème de désynchronisation des variables du type et du corps d'un point-...	herbelin