coq - The formal proof system

Age	Commit message (Expand)	Author
2013-10-01	CoqIDE: fixed advance_until wrt unfocusing	gareuselesinge
2013-10-01	CoqIDE: do not print cmd_stack too often	gareuselesinge
2013-10-01	CoqIDE: fix reset initial	gareuselesinge
2013-09-30	CoqIDE: wg_Tooltip removed, new tooltip handling	gareuselesinge
2013-09-30	CoqIDE ported to the revides protocol	gareuselesinge
2013-09-13	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-12	CoqIDE: show number of proofs being checked in background	gareuselesinge
2013-09-06	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot
2013-08-19	Modulification and removing of structural equality in Stateid.	ppedrot
2013-08-11	Automatic backtracking if locked zone is edited	gareuselesinge
2013-08-09	Adding the processed tag to comments in CoqIDE.	ppedrot
2013-08-08	Coqide ported to STM	gareuselesinge
2013-04-25	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-01-26	Monadification of coqtop queries in CoqIDE	ppedrot
2013-01-26	Uniformization of Coq tasks	ppedrot
2012-12-19	Coqide: cleaner Coq.PrintOpt and session creation	letouzey
2012-12-11	Coqide: allow editing even during a backtrack	letouzey
2012-12-10	Coqide: restore the tag removal of copy-pasted zones	letouzey
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey