coq - The formal proof system

Age	Commit message (Expand)	Author
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-06	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-05	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-04	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-02	A fix for compilation of FMapFacts (a story of impl arg for Logic.eq)	letouzey
2008-03-01	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-02-29	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-28	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-27	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-26	New instance returns the (future) identifier of the instance.	msozeau
2008-02-26	Proper implicit arguments handling for assumptions	msozeau
2008-02-25	coq_makefile: variables	notin
2008-02-25	coq_makefile: dépendances + génération des fichiers html	notin
2008-02-25	Bug de coqdoc : les commentaires simples généraient des lignes vides	notin
2008-02-25	Correction d'un bug de Coqdoc (indentation des lignes)	notin
2008-02-25	Forgotten file in previous commit	lmamane
2008-02-22	Merge with lmamane's private branch:	lmamane
2008-02-21	congruence now knows about _ -> _	corbinea
2008-02-20	Petits oublis dans Makefile.doc	notin
2008-02-19	added products and sorts as possible heads for canonical structures	corbinea