coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle implantation du polymorphisme de sorte pour les familles inductives	herbelin	2006-05-23
*	decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)	letouzey	2006-04-20
*	Changement des named_context	gregoire	2005-12-02
*	evite certaines eta-expansions cavalieres	letouzey	2005-11-30
*	merci les warnings de 3.09 ...	letouzey	2005-11-17
*	Types inductifs parametriques	mohring	2005-11-02
*	Standardisation of function names about global references (especially, renami...	herbelin	2005-02-18
*	travail sur les types extraits	letouzey	2004-12-09
*	IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).	sacerdot	2004-11-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	Modules et Records: gros changements pour prendre en compte le nouveau mind_r...	letouzey	2004-06-28
*	correspondance des records et noms de champs de records entre un module et sa...	letouzey	2004-06-25
*	révision du traitement des axiomes non réalisés	letouzey	2003-11-10
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	correction d'un stack overflow possible (PR#320)	letouzey	2003-08-28
*	:= dans un record engendre un LetIn qui n'etait pas géré	letouzey	2003-05-29
*	bug concernant les projecteurs de Record avec args logiques	letouzey	2003-04-28
*	BIG MAJ Extraction:	letouzey	2003-04-16
*	Extract Constant marche avec les axiomes schémas de types	letouzey	2003-03-25
*	pour ocamlweb	letouzey	2003-03-11
*	bugs/améliorations trouvés via FTA	letouzey	2003-02-21
*	encore un long_kn	letouzey	2003-02-03
*	plus d'environment fixe cur_env mais un environment evolutif	letouzey	2003-02-02
*	apres le backtrack precedent, remise de trois points precis et surs	letouzey	2003-01-29
*	Ca a tout pété -> Bactrack a la version d'hier	letouzey	2003-01-29
*	nouvelle gestion des constantes de type	letouzey	2003-01-28
*	oubli des add_recursors singleton logiques	letouzey	2003-01-23
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	les empty ind et les singletons etaient oublies par add_recursors	letouzey	2002-12-19
*	une branche de case inutile	letouzey	2002-12-13
*	petit bug	letouzey	2002-12-09
*	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey	2002-12-09
*	code cleanup (+ debut de commencement de modules)	letouzey	2002-12-05
*	bug pp letin + un inductif constant n'est pas un record	letouzey	2002-11-28
*	Extraction des Record, suite	letouzey	2002-11-27
*	debut de support des records caml	letouzey	2002-11-26
*	correction bug n°191	letouzey	2002-11-25
*	cleanup table.ml + erreur si Extraction Inline sous section	letouzey	2002-11-25
*	nettoyage et reorganisation	letouzey	2002-11-04
*	L'extraction c'est magic cvs -n up	letouzey	2002-10-31
*	Lazy manuelles dans le code	coq	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	reparation d'un bug (dummy_lams -> anonym_lams) + chgmt structutr d'un ml_type	letouzey	2002-07-24
*	reparation temporaire(?) a coup de MLdummy'	letouzey	2002-07-17
*	Pour ocamlweb	letouzey	2002-07-16
*	Gros Remaniement Extraction:	letouzey	2002-07-16
*	extraction.ml	letouzey	2002-04-08
*	ajout du mange-tout d'argument en ocaml + error en Haskell pour la constante ...	letouzey	2002-04-08
*	export de la fonction Reductionops.find_conclusion pour l'extraction	letouzey	2002-04-08