coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi	2018-03-08
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	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
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Fixing bug #4073.	Pierre-Marie Pédrot	2015-02-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot	2015-01-05
*	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: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10