coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Adapt funind to the RLetPattern constructor.	msozeau	2008-03-15
*	Backtrack sur le test censé discriminer entre une erreur d'evar non	herbelin	2008-03-15
*	Application de refresh_universes dans typing.ml et retyping.ml : les	herbelin	2008-03-15
*	Suppress some warnings by writing ugly Coq.Relations.Relations in some .v	letouzey	2008-03-14
*	avoid universe problems with pf_get_type in f_equal	letouzey	2008-03-14
*	New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefile	letouzey	2008-03-14
*	Backtrack wrong commit.	courtieu	2008-03-14
*	kill a warning (and clean the code around)	letouzey	2008-03-14
*	nettoyage de code obsolete.	soubiran	2008-03-14
*	Ajout des alias de module dans le noyau.	soubiran	2008-03-14
*	tactique gappa	filliatr	2008-03-14
*	indentation.	courtieu	2008-03-14
*	fix the 'decreasing on Xth' message	letouzey	2008-03-13
*	trying f	courtieu	2008-03-13
*	* Catching a Not_found exception when trying to use Scheme Equality	vsiles	2008-03-12
*	tactique Gappa : mise en place	filliatr	2008-03-11
*	Forget to update the CHANGES file after the commit r10180	vsiles	2008-03-11
*	tactique Gappa : mise en place	filliatr	2008-03-11
*	Typo commit 10653	herbelin	2008-03-11
*	Pas très propre de reposer sur la capture des anomalies (et cela	herbelin	2008-03-10
*	fold travaille maintenant sur la forme beta-iota-zeta réduite du	herbelin	2008-03-10
*	Indexation de pose proof, et par la même occasion du nouveau specialize	herbelin	2008-03-10
*	Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145)	herbelin	2008-03-10
*	Fix compilation problem and finish little cleanup.	msozeau	2008-03-10
*	Add a missing morphism declaration that turns morphisms on R ==> R' to	msozeau	2008-03-09
*	Fix a few bugs in Program: use user-given typing constraints for	msozeau	2008-03-09
*	Des choses bizarres avec pa_op.cmo (extension syntaxique pour parser)	herbelin	2008-03-09
*	New implementation of Add Relation as a DefaultRelation instance	msozeau	2008-03-08
*	correction d'un bug d'efficacite dans Function (+ ajout de eauto_with_bases)	jforest	2008-03-08
*	Fix bugs that were reopened due to the change of setoid	msozeau	2008-03-08
*	Coq_makefile : backtrack sur les liens vers les exécutables ocaml	notin	2008-03-08
*	f_equal, revert, specialize in ML, contradict in better Ltac (+doc)	letouzey	2008-03-07
*	repair FSets/FMap after the change in setoid rewrite	letouzey	2008-03-07
*	Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part	msozeau	2008-03-07
*	Correction d'un bug de coq_makefile	notin	2008-03-07
*	typo in last commit (?)	letouzey	2008-03-06
*	Plug the new setoid implemtation in, leaving the original one commented	msozeau	2008-03-06
*	Coquille vraisemblablement introduite par la révision 10628	notin	2008-03-06
*	repair for commit 10612 (due to grammar order, some syntaxes weren't working)	letouzey	2008-03-06
*	Syntax changes in typeclasses, remove "?" for usual implicit arguments	msozeau	2008-03-06
*	Toujours suite commits 10623 et 10624:	herbelin	2008-03-06
*	even_2n et odd_S2n deviennent transparents (chez moi, ça empêchait de compi...	notin	2008-03-06
*	Suite commit 10623:	herbelin	2008-03-06
*	Correction d'un bug "ancestral": apply ne savait pas unifier ?n=?n	herbelin	2008-03-06
*	Correction d'une typo restant du commit 10557 et cause d'échec de contribs	herbelin	2008-03-05
*	Backtrack sur la révision #10401 : suppression de le_minus de la base de hin...	notin	2008-03-05
*	Attempt of fix for extraction of modules types	letouzey	2008-03-05
*	Branchement de l'auto-save de coqide par défaut	herbelin	2008-03-04
*	still one more substituion s/Set/Type/	letouzey	2008-03-04
*	one more substitution s/Set/Type/	letouzey	2008-03-04