coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Extraction: improved indentation of extracted code (fix #2497)	letouzey	2011-03-04
*	A fine-grain control of inlining at functor application via priority levels	letouzey	2011-01-31
*	Extraction: multiple fixes related with the Not_found encountered by X. Leroy	letouzey	2010-09-17
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Extraction: fix a bit the extraction under modules	letouzey	2010-07-15
*	Extraction Library Foo creates Foo.ml, not foo.ml	letouzey	2010-07-07
*	Extraction: get advantage of nicer, algebraic, module types	letouzey	2010-07-07
*	Extraction: (yet another) rework of the renaming code	letouzey	2010-07-05
*	Extraction: better support of modules	letouzey	2010-07-02
*	Extraction: no more MPself hence no need for subst during pp	letouzey	2010-07-02
*	Extraction: remove a useless match	letouzey	2010-06-28
*	Extraction: nicer simple extraction of custom defs (fix #2204)	letouzey	2010-06-23
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	This big commit addresses two problems:	soubiran	2009-10-21
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20