coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqide: queries from the query window are routed there (fix #5684)	Enrico Tassi	2018-03-08
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	[ide] Localize a IDE-specific flag.	Emilio Jesus Gallego Arias	2018-02-15
*	update location on tab switch, issue 6624	Paul Steckler	2018-01-19
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	use get_arguments, String.concat, remove -I	Paul Steckler	2017-09-06
*	read flags from project file for Compile Buffer	Paul Steckler	2017-09-05
*	Fix BZ#5687: Coqtop died badly modal message box from CoqIDE.	Pierre-Marie Pédrot	2017-08-23
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Merge PR#406: coq makefile2	Maxime Dénès	2017-05-25
\|\
\| *	CoqProject_file: API and code cleanup (tuples -> records)	Enrico Tassi	2017-05-23
\| *	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
* \|	[vernac] Remove `Save.` command.	Emilio Jesus Gallego Arias	2017-05-23
\|/
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[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
*	[safe-string] ide	Emilio Jesus Gallego Arias	2017-03-14
*	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