coq - The formal proof system

Age	Commit message (Expand)	Author
2016-10-19	Test for variant of #5142 (good error message on pattern-matching failure).	Hugo Herbelin
2016-10-19	Attempt to improve error rendering in pattern-matching compilation (#5142).	Hugo Herbelin
2016-04-04	Merge branch 'trunk-function_scope' of https://github.com/JasonGross/coq into...	Matthieu Sozeau
2015-12-05	Using x in output test-suite Cases.v (cosmetic).	Hugo Herbelin
2015-11-15	Fixing output test Cases.v.	Pierre-Marie Pédrot
2015-08-14	Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080	Jason Gross
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