coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: wg_Tooltip removed, new tooltip handling	gareuselesinge	2013-09-30
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	When Coq is reset-initialed by CoqIDE, do reset jobs counters	gareuselesinge	2013-09-13
*	CoqIDE: new async error reporting window and slaves status	gareuselesinge	2013-09-13
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	Modulification and removing of structural equality in Stateid.	ppedrot	2013-08-19
*	Automatic backtracking if locked zone is edited	gareuselesinge	2013-08-11
*	Adding the processed tag to comments in CoqIDE.	ppedrot	2013-08-09
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: allow editing even during a backtrack	letouzey	2012-12-11
*	Coqide: restore the tag removal of copy-pasted zones	letouzey	2012-12-10
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10