coq - the Coq proof assistant

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