coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Le type d'un Let est considéré comme 'user-provided' par le noyau et doit d...	herbelin	2005-03-19
*	Ajout test bug #935	herbelin	2005-03-19
*	Report depuis la V8.0pl2 de la correction d'un bug du traducteur	herbelin	2005-03-19
*	maj	coq	2005-03-18
*	maj	coq	2005-03-18
*	appel de Simplify depuis Coq	coq	2005-03-18
*	maj	coq	2005-03-17
*	maj	coq	2005-03-17
*	Nouvelle syntaxe 'with' des modules non gérée en v7	herbelin	2005-03-17
*	maj	coq	2005-03-17
*	maj	coq	2005-03-17
*	maj	coq	2005-03-16
*	maj	coq	2005-03-16
*	MAJ PolyList -> List	herbelin	2005-03-16
*	Nouvelle syntaxe 'with' des modules non gérée en v7	herbelin	2005-03-16
*	tactiques prouveurs premier ordre dans contrib/dp/	coq	2005-03-16
*	nouvelles tactiques pour appeler des procedures de decision du premier ordre	coq	2005-03-16
*	maj	coq	2005-03-15
*	maj	coq	2005-03-15
*	Unsharing before exportation to ensure uniqueness of xml id's	herbelin	2005-03-15
*	Backtrack sur la substitution combinée avec l'instanciation en réponse à l...	herbelin	2005-03-15
*	maj	coq	2005-03-14
*	maj	coq	2005-03-13
*	maj	coq	2005-03-12
*	Explicitation d'un nom de variable nécessaire au bon typage, suite à suppre...	herbelin	2005-03-12
*	Backtrack version 1.82 awaiting for better understanding of the consequences ...	herbelin	2005-03-12
*	maj	coq	2005-03-11
*	Méthode plus raisonnable pour supprimer l'inefficacité des evars dépendant...	herbelin	2005-03-11
*	Ajout de COQLIB/user-contrib à l'installation pour insister sur la possibili...	herbelin	2005-03-11
*	Ajout récursif du répertoire COQLIB/user-contrib au chemin de chargement	herbelin	2005-03-11
*	maj	coq	2005-03-10
*	A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...	herbelin	2005-03-10
*	A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...	herbelin	2005-03-10
*	maj	coq	2005-03-09
*	bug #931 (continued): no recursion on the evars instantiation	herbelin	2005-03-09
*	maj	coq	2005-03-08
*	maj	coq	2005-03-08
*	Fix bug #931: leave dependent evars as such for refine	herbelin	2005-03-08
*	Ajout fold	herbelin	2005-03-08
*	maj	coq	2005-03-07
*	Added 'clear - id' to clear all hypotheses except the ones dependent in the s...	herbelin	2005-03-07
*	Added 'clear - id' to clear all hypotheses except the ones dependent in the s...	herbelin	2005-03-07
*	maj	coq	2005-03-06
*	the package script disappeared in MacOS 10.3: we locally copy the 10.2 version	herbelin	2005-03-06
*	maj	coq	2005-03-05
*	maj	coq	2005-03-04
*	maj	coq	2005-03-03
*	maj	coq	2005-03-02
*	maj	coq	2005-03-01
*	clean de parser.opt	herbelin	2005-03-01