coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing a warning in CoqOps.	Pierre-Marie Pédrot	2015-09-15
*	CoqIDE: recenter on backtrack (Close: #4277)	Enrico Tassi	2015-07-11
*	Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.	Hugo Herbelin	2015-06-16
*	CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)	Enrico Tassi	2015-04-02
*	CoqIDE: fix tag colors to support superposing unsafe and partial	Enrico Tassi	2015-03-11
*	CoqIDE: do not lose tag on Qed ending focused proof	Enrico Tassi	2015-03-11
*	CoqIDE: correclty unfocus (remove all tags) when jumping out of a proof	Enrico Tassi	2015-02-25
*	Fixing bug #4037.	Pierre-Marie Pédrot	2015-02-15
*	Made the CoqIDE progress gutter clickable.	Pierre-Marie Pédrot	2015-01-29
*	Update headers.	Maxime Dénès	2015-01-12
*	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot	2015-01-05
*	CoqIDE: better messages	Enrico Tassi	2014-12-17
*	Feedback: API cleaned up, documented and made user extensible	Enrico Tassi	2014-11-27
*	IDE: escape popup text (close: 3600)	Enrico Tassi	2014-09-09
*	Quick fix for avoiding infinitely many respawning and Warning "Coq	Hugo Herbelin	2014-08-12
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	CoqIDE: better error reporting for Qed on incomplete proof	Enrico Tassi	2014-03-26
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	STM: tell the user if the master is recomputing states validated by workers	Enrico Tassi	2014-01-30
*	CoqIDE: do not unfocus if not needed on errors (closes: 3197)	Enrico Tassi	2014-01-06
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	CoqIDE: show error message for parsing errors	Enrico Tassi	2013-11-27
*	CoqIDE: scroll to the right position if there is an interp error	gareuselesinge	2013-10-31
*	CoqIDE: fix coloring bug when jumping back to the first phrase	gareuselesinge	2013-10-24
*	cList: set-as-list functions are now with an explicit comparison	letouzey	2013-10-23
*	CoqIDE: do not try to backtrack to a dummy id	gareuselesinge	2013-10-22
*	CoqIDE: display in the errors window also the slaves status	gareuselesinge	2013-10-22
*	CoqIDE: error reporting fixed	gareuselesinge	2013-10-10
*	CoqIDE: ported to Document	gareuselesinge	2013-10-10
*	CoqIDE: move cmd_stack to a separate module: Document	gareuselesinge	2013-10-10
*	CoqIDE: fix jumpig out of a focused proof	gareuselesinge	2013-10-07
*	CoqIDE: cStack -> Document	gareuselesinge	2013-10-07
*	CoqIDE: when checking the whole document, center script view on error	gareuselesinge	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-10-01
*	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