coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	migration from Set to Type of FSet/FMap + some dependencies...	letouzey	2008-03-04
*	use loc instead of dummy_loc in the ugly intro-pattern rewrite hack	letouzey	2008-03-04
*	A fix for compilation of FMapFacts (a story of impl arg for Logic.eq)	letouzey	2008-03-02
*	Marche-arrière sur la suppression de l'hypothèse inutile de Rpower_O	herbelin	2008-03-01
*	Rework on rich forms of rewrite	letouzey	2008-03-01
*	Petite modif pour pouvoir faire "intros until 0" qui introduit autant	aspiwack	2008-02-29
*	Argumentation plus poussée de pourquoi on retire la condition x>0 dans	herbelin	2008-02-29
*	Some suggestions about FMap by P. Casteran:	letouzey	2008-02-28
*	Coq_makefile: correction de l'appel aux exécutables Ocaml	notin	2008-02-28
*	cardinal is promoted to the rank of primitive member of the FMap interface	letouzey	2008-02-28
*	Coq_makefile: Correction d'un bug sur les options passées à Coqdoc	notin	2008-02-28
*	Do not open type_scope in SetoidClass.	msozeau	2008-02-28
*	Fix compilation problem (hopefully).	msozeau	2008-02-28
*	Nicer third spec of choose.	letouzey	2008-02-28
*	For more uniformity, use implicits in FSetAVL	letouzey	2008-02-27
*	Application patch #1807 sur hypothèse inutile de Rpower_O	herbelin	2008-02-27
*	Génération d'une toc en html et avec l'option -ps	notin	2008-02-27
*	dead code	letouzey	2008-02-27
*	Bug dans la génération de la stdlib	notin	2008-02-27
*	Amélioration de la gestion des chemins physiques (corrige au passage le bug ...	notin	2008-02-27
*	patch for C code of addmuldiv31	thery	2008-02-27
*	typo	letouzey	2008-02-27
*	New instance returns the (future) identifier of the instance.	msozeau	2008-02-26
*	Proper implicit arguments handling for assumptions	msozeau	2008-02-26