coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	Noise for nothing	pboutill	2012-03-02
*	Fix camlp4 compilation	pboutill	2012-01-31
*	Another quick hack that works this time, to handle printing of locality in Pr...	ppedrot	2012-01-23
*	Reverted previous commit, which broke library compilation.	ppedrot	2012-01-20
*	This is a quick hack to permit the parsing of the locality flag in the Progra...	ppedrot	2012-01-20
*	Fixed the pretty-printing of the Program plugin.	ppedrot	2012-01-17
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	Rename rawterm.ml into glob_term.ml	glondu	2010-12-23
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Cleaned a bit the grammar and terminology for binders (see dev/doc/changes.txt).	herbelin	2010-07-22
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	static (and shared) camlp4use instead of per-file declaration	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Add a generic tactic option builder. Use it in firstorder to set the	msozeau	2010-03-05
*	Add [Next Obligation with tactic] support (wish #1953).	msozeau	2010-01-26
*	- Show Obligation Tactic	msozeau	2010-01-14
*	Support "Local Obligation Tactic" (now the default in sections).	msozeau	2010-01-11
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Stop using [obligation_tactic] from Program.Tactics as the default	msozeau	2009-09-15
*	Hack to correctly get ill-formed rec body exceptions even	msozeau	2009-09-02
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20