coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| \|
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
\| \|
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
\| \| \| \| \| \| \| \| \| \|	There is no remaining hook in the preferences. In particular, the refresh_editor_hook is gone.
* \|	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
\|
*	Focussing on message view in CoqIDE when a message is pushed.	Pierre-Marie Pédrot	2015-02-12
\| \| \| \|	Also fixes bug #4030.
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	lib/interface split into: - lib/feedback subscribe-based feedback bus (also used by coqidetop) - ide/interface definition of coqide protocol messages lib/pp structured info/err/warn messages lib/serialize split into: - lib/serialize generic xml serialization (list, pairs, int, loc, ...) used by coqide but potentially useful to other interfaces - ide/xmlprotocol serialization of protocol messages as in ide/interface the only drawback is that coqidetop needs -thread and I had to pass that option to all files in ide/
*	Better encapsulation of MessageView	ppedrot	2013-03-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16323 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
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15779 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Updating headers.	herbelin	2012-08-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16
\| \| \| \| \| \|	of the code altogether. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15623 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Made the message view of CoqIDE abstract.	ppedrot	2012-06-24
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15488 85f007b7-540e-0410-9357-904b9bb8a0f7