coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.	Pierre-Marie Pédrot	2016-09-27
*	User queries can be terminated with "...".	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
*	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-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
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	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
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
* \|	Taking advantage of the new type of preferences.	Pierre-Marie Pédrot	2015-08-16
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Open the file chooser even if there is no current session. (Fix bug #4206)	Guillaume Melquiond	2015-04-26
*	Use the directory of the current session for selecting files to open.	Guillaume Melquiond	2015-04-03
*	CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)	Enrico Tassi	2015-04-02
*	CoqIDE: load first _CoqProject file found and notify the user	Enrico Tassi	2015-03-11
*	CoqIDE: restore module/proof name in info bar	Enrico Tassi	2015-03-11
*	Fixing bug #4073.	Pierre-Marie Pédrot	2015-02-20
*	Remove Whelp commands.	Maxime Dénès	2015-02-17
*	Fixing bug #4023 again.	Pierre-Marie Pédrot	2015-02-17
*	Tentative fix for bug #2855.	Pierre-Marie Pédrot	2015-02-17
*	CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)	Enrico Tassi	2015-02-17
*	Selection of the current word in CoqIDE looks at all buffers.	Pierre-Marie Pédrot	2015-02-13
*	Fixing bug #3261.	Pierre-Marie Pédrot	2015-02-12
*	Fixing bug #4023.	Pierre-Marie Pédrot	2015-02-12
*	Update headers.	Maxime Dénès	2015-01-12
*	Adding an option to deactivate the progress bar.	Pierre-Marie Pédrot	2015-01-05
*	CoqIDE: better messages	Enrico Tassi	2014-12-17
*	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin	2014-12-07
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Fixing bug #3404.	Pierre-Marie Pédrot	2014-08-24
*	Enabling drag & drop on the source view widgets.	Pierre-Marie Pédrot	2014-08-24
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Support dropping files over the coqide window. (Partial fix for bug #2765)	Guillaume Melquiond	2014-06-19
*	CoqIDE: options for syntax highlighting	Enrico Tassi	2014-04-10
*	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot	2014-04-07
*	Move error and job display to the lower right pane.	Guillaume Melquiond	2014-03-04
*	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
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24