coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	More {raw => glob} changes for consistency	glondu	2010-12-24
*	Rename rawterm.ml into glob_term.ml	glondu	2010-12-23
*	Change of nomenclature: rawconstr -> glob_constr	glondu	2010-12-23
*	Remove an unused function with a Evd.fold in subtac	letouzey	2010-12-13
*	Minor fixes:	msozeau	2010-07-27
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Made tclABSTRACT normalize evars before saying it does not support	herbelin	2010-06-29
*	Fix bug #2262: bad implicit argument number by avoiding counting	msozeau	2010-06-09
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fix treatment of remaining unification constraints: raise a more	msozeau	2010-03-07
*	Promote evar_defs to evar_map (in Evd)	glondu	2009-11-11
*	Restructuration of command.ml + generic infrastructure for inductive schemes	herbelin	2009-11-08
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Make usage of Dyn explicit	glondu	2009-10-28
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Use more consistent resolution parameters in Program and regular typing	msozeau	2009-06-18
*	Support for definition hooks in subtac.	msozeau	2009-05-16
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20