coq - The formal proof system

Age	Commit message (Expand)	Author
2014-04-07	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot
2014-03-12	CoqIDE: Errors page gets red if not empty	Enrico Tassi
2014-03-12	CoqIDE: detachable message/error/jobs panes	Enrico Tassi
2014-03-04	Move error and job display to the lower right pane.	Guillaume Melquiond
2013-12-24	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi
2013-10-22	CoqIDE: always retag on insert	gareuselesinge
2013-10-22	Wg_Find: regex + case insensitive find/replace support	gareuselesinge
2013-10-10	CoqIDE: error reporting fixed	gareuselesinge
2013-09-30	wg_Command: detachable, less "from the 80s", query pane	gareuselesinge
2013-09-30	wg_Session: fix copy/paste of tagged text	gareuselesinge
2013-09-30	CoqIDE ported to the revides protocol	gareuselesinge
2013-08-20	CoqIDE: fixed detection of edits in the locked zone	gareuselesinge
2013-08-11	Automatic backtracking if locked zone is edited	gareuselesinge
2013-08-08	Coqide ported to STM	gareuselesinge
2013-04-25	Coqide: Globalization feedback (proof of concept)	gareuselesinge
2013-04-25	Coqide: new feedback mechanism for structured content	gareuselesinge
2013-03-20	Better encapsulation of MessageView	ppedrot
2013-02-20	Fixing an annoying bug in CoqIDE which causes the very first line	ppedrot
2012-12-19	Coqide: cleaner Coq.PrintOpt and session creation	letouzey
2012-12-10	Coqide: some more refactoring to lighten coqide.ml	letouzey