coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Made tclABSTRACT normalize evars before saying it does not support	herbelin	2010-06-29
*	Remove compile-command pragmas for emacs	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Backport fixes in Instance declarations to Program Instance.	msozeau	2010-01-28
*	Promote evar_defs to evar_map (in Evd)	glondu	2009-11-11
*	A bit of cleaning around name generation + creation of dedicated file namegen.ml	herbelin	2009-11-09
*	Restructuration of command.ml + generic infrastructure for inductive schemes	herbelin	2009-11-08
*	Fixed record syntax "{\|x=...; y=...\|}" so that it works with qualified names.	gmelquio	2009-11-04
*	Integrate a few improvements on typeclasses and Program from the equations br...	msozeau	2009-10-28
*	Fix bug #2162 and a name clashing bug in generalized binders.	msozeau	2009-10-09
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	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