coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Cosmetic: no more whitespace at end of lines in extraction files	letouzey	2008-11-06
*	Better extraction renaming phase (fix #1914 plus other non-reported bugs)	letouzey	2008-11-05
*	Repair Haskell/Scheme extraction in the new extraction backend design:	letouzey	2007-10-17
*	Major reorganisation of the extraction "backend".	letouzey	2007-10-17
*	Extraction: factorisation of identical branches in a match	letouzey	2007-10-06
*	multiples ameliorations de l'extraction scheme:	letouzey	2005-12-16
*	amelioration de la generation des unsafeCoerce	letouzey	2005-12-01
*	un paquet de corrections de bugs	letouzey	2004-10-04
*	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
*	révision du traitement des axiomes non réalisés	letouzey	2003-11-10
*	BIG MAJ Extraction:	letouzey	2003-04-16
*	Extraction des modules, enfin !	letouzey	2003-01-22
*	code cleanup (+ debut de commencement de modules)	letouzey	2002-12-05
*	Remaniement du pp, suite: vers un renommage modulaire correcte	letouzey	2002-11-28
*	Reorganisation du pretty-print:	letouzey	2002-11-28
*	L'extraction c'est magic cvs -n up	letouzey	2002-10-31
*	Gros Remaniement Extraction:	letouzey	2002-07-16
*	extraction vers scheme	letouzey	2002-06-07