coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	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-25
*	Merge with lmamane's private branch:	lmamane	2008-02-22
*	congruence now knows about _ -> _	corbinea	2008-02-21
*	Petits oublis dans Makefile.doc	notin	2008-02-20
*	added products and sorts as possible heads for canonical structures	corbinea	2008-02-19
*	fixed pp for declarative mode	corbinea	2008-02-19
*	Petite correction suite à la révision 10571	notin	2008-02-18
*	Ajout de caractères unicode reconnus apr le lexer	notin	2008-02-18
*	Patch bug #1799	soubiran	2008-02-15