coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	nouvelle commande Set Extraction Flag: reglage fins des optims	letouzey	2004-03-24
*	le pb du <<.v vu comme module>> engendre maintenant une erreur	letouzey	2003-11-10
*	révision du traitement des axiomes non réalisés	letouzey	2003-11-10
*	essai d'extraction sous un module	letouzey	2003-11-10
*	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
*	bugs/améliorations trouvés via FTA	letouzey	2003-02-21
*	plus d'environment fixe cur_env mais un environment evolutif	letouzey	2003-02-02
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	chamboulement du codage des indcutifs extraits; deplacements des tables; ...	letouzey	2002-12-09
*	code cleanup (+ debut de commencement de modules)	letouzey	2002-12-05
*	Remaniement du pp, suite: vers un renommage modulaire correcte	letouzey	2002-11-28
*	debut de support des records caml	letouzey	2002-11-26
*	cleanup table.ml + erreur si Extraction Inline sous section	letouzey	2002-11-25
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	L'extraction c'est magic cvs -n up	letouzey	2002-10-31
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Gros Remaniement Extraction:	letouzey	2002-07-16
*	extraction vers scheme	letouzey	2002-06-07
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Big commit extraction:	letouzey	2002-03-04
*	GROS COMMIT:	barras	2001-11-05
*	Fin de mise en place de l'option Optimize. Reorganisation du pretty-print. ET...	letouzey	2001-10-26
*	chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...	letouzey	2001-10-22