coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2008-11-06	Cosmetic: no more whitespace at end of lines in extraction files	letouzey
2008-11-05	Better extraction renaming phase (fix #1914 plus other non-reported bugs)	letouzey
2008-10-16	Attempt to clarify Extract_env.extract_seb_spec	letouzey
2008-07-20	Extraction: better dependency computation (after optimisations)	letouzey
2008-03-14	nettoyage de code obsolete.	soubiran
2008-03-14	Ajout des alias de module dans le noyau.	soubiran
2008-03-05	Attempt of fix for extraction of modules types	letouzey
2008-02-01	Beaoucoup de changements dans la representation interne des modules.	soubiran
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-10-17	Major reorganisation of the extraction "backend".	letouzey
2007-10-06	Extraction: factorisation of identical branches in a match	letouzey
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2006-12-17	reparation bug 1239	letouzey
2006-04-20	decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)	letouzey
2005-12-01	amelioration de la generation des unsafeCoerce	letouzey
2005-11-17	merci les warnings de 3.09 ...	letouzey
2004-11-16	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-07-16	Nouvelle en-tête	herbelin
2004-07-14	ajout des unsafeCoerce + 2 bugs haskell	letouzey
2004-06-28	Modules et Records: gros changements pour prendre en compte le nouveau mind_r...	letouzey
2004-03-24	nouvelle commande Set Extraction Flag: reglage fins des optims	letouzey
2004-03-23	meme correction de bug, en moins bourrin	letouzey
2004-03-22	correction d'un bug faisant inliner minus, mult, ...	letouzey
2003-11-10	révision du traitement des axiomes non réalisés	letouzey
2003-07-10	renommage des modules 1er niveau en monolithique	letouzey
2003-06-12	enieme correction du nommage modulaire	letouzey
2003-04-16	BIG MAJ Extraction:	letouzey