coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix bug #4798: compat notations should not modify the parser.	Pierre-Marie Pédrot	2016-09-29
*	Do not stop propagation of signals when Coq is busy (bug #3941).	Guillaume Melquiond	2016-09-28
*	Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.	Pierre-Marie Pédrot	2016-09-27
*	CoqIDE: push to message win feedback Message(Debug,Info,Notice)	Enrico Tassi	2016-09-13
*	CoqIDE: Errors are sticky (fix #4368)	Enrico Tassi	2016-09-07
*	coqide: use Document instead of tags to detect sentences to `Skip (#4829)	Enrico Tassi	2016-09-05
*	xml_printer: use sensible names for putc and puts	Enrico Tassi	2016-09-05
*	feedback: support multiple feedback listeners	Enrico Tassi	2016-09-05
*	Fix bug #5051: Large outputs are garbled.	Pierre-Marie Pédrot	2016-08-30
*	Fix bug #4421: Messages dialog in Coqide resets.	Pierre-Marie Pédrot	2016-08-29
*	CoqIDE preserves unknown preferences.	Pierre-Marie Pédrot	2016-08-29
*	Fix inefficiency in CoqIDE display of tagged text.	Pierre-Marie Pédrot	2016-08-29
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\
\| *	Fix regression in Coqide's "forward one command" command	Xavier Leroy	2016-08-14
* \|	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\\|
* \|	Merge remote-tracking branch 'github/pr/223' into feedback-locations	Maxime Dénès	2016-06-27
\|\ \
* \| \|	Adding ability to put any pattern in binders, prefixed by a quote.	Daniel de Rauglaudre	2016-06-27
\| \| *	Fix bug #4698: CoqIDE error dialogs piling up when coqtop dies.	Pierre-Marie Pédrot	2016-06-27
\| * \|	[xmlproto] Remove duplicated deserialization.	Emilio Jesus Gallego Arias	2016-06-25
\| * \|	[feedback] Remove `ErrorMsg` in favor of `Message Error`.	Emilio Jesus Gallego Arias	2016-06-25
\| * \|	[feedback] Allow messages to carry a location.	Emilio Jesus Gallego Arias	2016-06-25
\| * \|	[feedback] Add optional ?loc parameter to loggers.	Emilio Jesus Gallego Arias	2016-06-25
\| * \|	[feedback] Remove unused tag on `Debug` level.	Emilio Jesus Gallego Arias	2016-06-25
\|/ /
* \|	ideslave: do not bail out in case of XML error	Enrico Tassi	2016-06-16
* \|	Merge remote-tracking branch 'github/pr/194' into trunk	Maxime Dénès	2016-06-16
\|\ \
* \ \	Merge remote-tracking branch 'origin/pr/173' into trunk	Enrico Tassi	2016-06-14
\|\ \ \
* \ \ \	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|
* \| \| \|	Merge PR #190: Add configurable shortcuts for user queries to CoqIDE.	Pierre-Marie Pédrot	2016-06-09
\|\ \ \ \
\| \| * \| \|	Remove failure on non-.v files (bug #4752).	Guillaume Melquiond	2016-06-09
* \| \| \| \|	Search interface revisions.	Pierre-Marie Pédrot	2016-06-07
\|\ \ \ \ \
\| * \| \| \| \|	Removing the convenience functions from the Search API.	Pierre-Marie Pédrot	2016-06-07
\| \| \| \| * \|	CoqIDE: remove useless print	Enrico Tassi	2016-06-07
\| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| \| *	Adding an only printing flag to notations.	Pierre-Marie Pédrot	2016-06-07
\| \|_\|_\|/ \|/\| \| \|
* \| \| \|	xmlprotocol: fix unmarshaling of Feedback.Message	Enrico Tassi	2016-06-06
* \| \| \|	xmlprotocol: uncomment marshalling code for custom message	Enrico Tassi	2016-06-06
* \| \| \|	xmlprotocol: Marshal_error carries the reason	Enrico Tassi	2016-06-06
* \| \| \|	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias	2016-06-02
* \| \| \|	Encapsulate xml serialization in xmlprotocol.mli	Emilio Jesus Gallego Arias	2016-06-02
* \| \| \|	Move serialization functions out of Stm	Emilio Jesus Gallego Arias	2016-06-02
\| \| \| *	Fix build (use the same mllib file as in trunk).	Guillaume Melquiond	2016-06-02
\| \| \| *	Avoid refreshing the segment widget each time a sentence is added.	Lionel Rieg	2016-06-02
* \| \| \|	Avoid refreshing the segment widget each time a sentence is added.	Lionel Rieg	2016-06-02
\| \| * \|	User queries can be terminated with "...".	Cyprien Mangin	2016-06-02
\| \| * \|	Dynamic modifier for Queries menu in CoqIDE.	Cyprien Mangin	2016-06-02
\| \| * \|	Better sanitization of user queries in CoqIDE.	Cyprien Mangin	2016-06-02
\| \| * \|	Add an option to configure the modifier for Queries.	Cyprien Mangin	2016-06-02
\| \| * \|	Merge the user queries tab with the shortcut tab.	Cyprien Mangin	2016-06-02