coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[ide] Set Stateid in query pane.	Emilio Jesus Gallego Arias	2017-04-20
*	Do not stop propagation of signals when Coq is busy (bug #3941).	Guillaume Melquiond	2016-09-28
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-21
\|\
\| *	CoqIDE: STOP button also stops workers (fix #4542)	Enrico Tassi	2016-02-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
\|/
*	coqide: don't require ocaml >= 4	Enrico Tassi	2015-05-29
*	Jump to error line in CoqIDE grabs focus of the textview.	Pierre-Marie Pédrot	2015-05-26
*	CoqIDE columns in error and job panels can be sorted.	Pierre-Marie Pédrot	2015-05-25
*	CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)	Enrico Tassi	2015-04-02
*	Fixing bug #4073.	Pierre-Marie Pédrot	2015-02-20
*	Trying to fix bug #3930.	Pierre-Marie Pédrot	2015-02-13
*	Tentative fix for CoqIDE randomly dropping deletions.	Pierre-Marie Pédrot	2015-02-12
*	Focussing on message view in CoqIDE when a message is pushed.	Pierre-Marie Pédrot	2015-02-12
*	Update headers.	Maxime Dénès	2015-01-12
*	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot	2015-01-05
*	CoqIDE: cleanup jobs window on worker death	Enrico Tassi	2014-12-17
*	IDE: disable editable text area underline when -debug	Enrico Tassi	2014-09-09
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot	2014-04-07
*	CoqIDE: Errors page gets red if not empty	Enrico Tassi	2014-03-12
*	CoqIDE: detachable message/error/jobs panes	Enrico Tassi	2014-03-12
*	Move error and job display to the lower right pane.	Guillaume Melquiond	2014-03-04
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	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