coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	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
*	Attempt to clarify Extract_env.extract_seb_spec	letouzey	2008-10-16
*	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
*	Major reorganisation of the extraction "backend".	letouzey	2007-10-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
*	Names.substitution (and related functions) and Term.subst_mps moved to	sacerdot	2004-11-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	renommage des modules 1er niveau en monolithique	letouzey	2003-07-10
*	BIG MAJ Extraction:	letouzey	2003-04-16