coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: always retag on insert	gareuselesinge	2013-10-22
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	CoqIDE: error reporting fixed	gareuselesinge	2013-10-10
*	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-09-30
*	CoqIDE: fixed detection of edits in the locked zone	gareuselesinge	2013-08-20
*	Automatic backtracking if locked zone is edited	gareuselesinge	2013-08-11
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Better encapsulation of MessageView	ppedrot	2013-03-20
*	Fixing an annoying bug in CoqIDE which causes the very first line	ppedrot	2013-02-20
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10