coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
*	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
*	[ide] Dynamic printing width.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\
\| *	Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.	Pierre-Marie Pédrot	2016-06-27
* \|	[feedback] Remove unused tag on `Debug` level.	Emilio Jesus Gallego Arias	2016-06-25
* \|	xmlprotocol: Marshal_error carries the reason	Enrico Tassi	2016-06-06
* \|	Encapsulate xml serialization in xmlprotocol.mli	Emilio Jesus Gallego Arias	2016-06-02
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
* \|	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
* \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Do not canonicalize messages received by CoqIDE.	Pierre-Marie Pédrot	2015-09-20
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Coqide: check_connection now also checks correct loading of coqide plugin +	Hugo Herbelin	2014-08-05
*	Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...	Hugo Herbelin	2014-06-30
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	CoqIDE: removing a timer may raise an exception	Enrico Tassi	2014-04-10
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	remove trailing '\r' from file names returned by coqtop	Virgile Prevosto	2014-03-06
*	CoqIDE: when coqtop misbehaves kill it properly (no zombie)	Enrico Tassi	2014-02-17
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	CoqIDE: command line for extra coqtop "flags"	Enrico Tassi	2014-01-26
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	Paral-ITP: cleanup of command line flags and more conservative default	Enrico Tassi	2014-01-05
*	Fix CoqIDE compilation under standard version of lablgtk2	Enrico Tassi	2013-12-11
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	CoqIDE: do not fail hard if a message is asynchronous	gareuselesinge	2013-10-01
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	More robust argument setter in CoqIDE. It does not crash anymore on bad	ppedrot	2013-09-04
*	stm: (initial) support for -coq-slaves	gareuselesinge	2013-08-08
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	Tentative heuristic fix to handle lexer failures from CoqIDE when	ppedrot	2013-02-22
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: handle possible fragmentation in xml answers	letouzey	2012-12-08
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08