coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi	2018-03-08
\| \| \| \| \| \| \|	We systematically use Wg_MessageView for both the message panel and each Query tab; we register all MessageView in a RoutedMessageViews where the default route (0) is the message panel. Queries from the Query panel pick a non zero route to have their feedback message delivered to their MessageView
*	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
\|/ \| \| \| \|	A lot of legacy code has been removed in the process in favour of signal-based interactions.
*	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
\| \| \| \| \| \| \|	This allows a nifty display of the current state of the document through a dedicated progress bar. Also closes bug #3764.
*	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
\| \| \| \| \| \| \| \| \| \| \|	PrintOpt.set now only updates the state Hashtbl of options, a PrintOpt.enforce is mandatory to transmit them to coqtop. This enforce is done for instance by Coq.goals. The various signal handlers about coqide's buffer are now installed in session creation, and not anymore via the coqops initializer. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16105 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
	Main victim is analyzed_view : - some unnecessary methods have been killed (hep_for_keyword for instance) - some other migrated elsewhere (recenter_input, find_next_occurrence, ...) - analyzed_view is now split in two : fileops (filename, save, revert, ...) and coqops (process_next_phrase, ...) Four new files created: - Sentence (for tag_on_insert and alii) - FileOps (ex-first-half of analyzed_view) - CoqOps (ex-second-half of analyzed_view) - Session (ex-record viewable_script and functions about it) Also lots of renaming, trying to be shorter (but still meaningful) and more uniform git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16057 85f007b7-540e-0410-9357-904b9bb8a0f7