coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Corrects a (very) longstanding bug of tactics. As is were, tactic expecting	aspiwack	2012-04-18
*	Fixing alpha-conversion bug #2723 introduced in r12485-12486.	herbelin	2012-03-20
*	Fixing bug #2732 (anomaly when using the tolerance for writing	herbelin	2012-03-18
*	Noise for nothing	pboutill	2012-03-02
*	Moving bullets (-, +, *) into stand-alone commands instead of being	courtieu	2011-12-16
*	Revert "Check if recursive calls are guarded before printing "Proof completed"."	pboutill	2011-06-10
*	Check if recursive calls are guarded before printing "Proof completed".	herbelin	2011-05-26
*	Made the emacs-U option deprecated. Also removed the old code	courtieu	2011-05-24
*	Fixed a bug causing inconsistent states during proof editting.	aspiwack	2011-04-29
*	Declarative mode: fix escape and return.	aspiwack	2011-04-19
*	Fixes the weird bug of the declarative proof mode (Czar) both in emacs and coqc.	aspiwack	2011-04-06
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	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
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22