coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\| \| * \|	Slightly better interface to edit queries.	Cyprien Mangin	2016-06-02
\| \| * \|	Add user-created queries to CoqIDE.	Cyprien Mangin	2016-06-02
\| \| * \|	Add a [Show Proof.] query to CoqIDE.	Cyprien Mangin	2016-06-02
\| \|/ / \|/\| \|
* \| \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Use the actual location of an error in the error pane (bug #4169).	Guillaume Melquiond	2016-05-09
* \| \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-02
\|\\| \|
\| * \|	Reduce ide/coq.png to 256x256.	Guillaume Melquiond	2016-04-29
\| * \|	Make the language grammar much more precise. (Fix bugs #4682 and #4683)	Guillaume Melquiond	2016-04-28
\| \| *	avoid communicating to the serarch interface using raw strings.	Gregory Malecha	2016-04-24
\| \|/ \|/\|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-18
\|\\|
\| *	CoqIDE is more resilient to initialization errors.	Pierre-Marie Pédrot	2016-03-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-21
\|\\|
\| *	Fixing bug #4540: CoqIDE bottom progress bar does not update.	Pierre-Marie Pédrot	2016-02-20
\| *	CoqIDE: STOP button also stops workers (fix #4542)	Enrico Tassi	2016-02-19
* \|	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	merge	Matej Kosik	2016-01-11
\|\ \
\| * \|	CLEANUP: kernel/context.ml{,i}	Matej Kosik	2016-01-11
* \| \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
* \| \|	Make code more readable by not mixing list traversal and option processing.	Guillaume Melquiond	2016-01-06
* \| \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...	Guillaume Melquiond	2016-01-06
* \| \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02