coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Extraction: better dependency computation (after optimisations)	letouzey	2008-07-20
*	nettoyage de code obsolete.	soubiran	2008-03-14
*	Ajout des alias de module dans le noyau.	soubiran	2008-03-14
*	Attempt of fix for extraction of modules types	letouzey	2008-03-05
*	Beaoucoup de changements dans la representation interne des modules.	soubiran	2008-02-01
*	Factorisation des opérations sur le type option de Util dans un module	aspiwack	2007-12-05
*	Major reorganisation of the extraction "backend".	letouzey	2007-10-17
*	Extraction: factorisation of identical branches in a match	letouzey	2007-10-06
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	reparation bug 1239	letouzey	2006-12-17
*	decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)	letouzey	2006-04-20
*	amelioration de la generation des unsafeCoerce	letouzey	2005-12-01
*	merci les warnings de 3.09 ...	letouzey	2005-11-17
*	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot	2004-11-16
*	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
*	ajout des unsafeCoerce + 2 bugs haskell	letouzey	2004-07-14
*	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
*	meme correction de bug, en moins bourrin	letouzey	2004-03-23
*	correction d'un bug faisant inliner minus, mult, ...	letouzey	2004-03-22
*	révision du traitement des axiomes non réalisés	letouzey	2003-11-10
*	renommage des modules 1er niveau en monolithique	letouzey	2003-07-10
*	enieme correction du nommage modulaire	letouzey	2003-06-12
*	BIG MAJ Extraction:	letouzey	2003-04-16