coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
* \|	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\| *	Default colors for CoqIDE are actually applied.	Cyprien Mangin	2017-06-20
\| *	Bump year in headers.	Maxime Dénès	2017-06-01
* \|	Merge PR#356: Making management of installation directories more structured, ...	Maxime Dénès	2017-05-30
\|\ \
\| * \|	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
* \| \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
\|/ /
* \|	Use [method!] to override methods (warning 7)	Gaetan Gilbert	2017-04-27
* \|	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\|/
*	Coqide: fixing default local links for refman and stdlib.	Hugo Herbelin	2016-11-11
*	Making explicit that a result is discarded (ocaml warning).	Hugo Herbelin	2016-11-11
*	CoqIDE preserves unknown preferences.	Pierre-Marie Pédrot	2016-08-29
*	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
*	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
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove unplugged button from the interface.	Guillaume Melquiond	2016-01-01
\| *	CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' message	Enrico Tassi	2015-12-14
\| *	Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk	Maxime Dénès	2015-12-14
* \|	Use default GTK styles for CoqIDE tags.	Pierre-Marie Pédrot	2015-09-26
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
* \|	Fixing unsetting of CoqIDE tags.	Pierre-Marie Pédrot	2015-09-24
\| *	Change the default modifiers for navigation. (Fix bug #4295)	Guillaume Melquiond	2015-09-21
* \|	Pluging in tag preferences into buffer printing.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding standard printing tags to CoqIDE.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding a tag preference	Pierre-Marie Pédrot	2015-09-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-13
\|\\|
\| *	Fixing bug #2498: Coqide navigation preferences delayed effect.	Pierre-Marie Pédrot	2015-09-12
* \|	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
* \|	Simplifying CoqIDE preferences mechanism.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Changing default for CoqIDE project to append arguments.	Pierre-Marie Pédrot	2015-02-15
*	CoqIDE now remembers the path of the last opened project.	Pierre-Marie Pédrot	2015-02-15
*	Attempt to be more colorblind friendly in CoqIDE (Close #4024)	Enrico Tassi	2015-02-14
*	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: options for syntax highlighting	Enrico Tassi	2014-04-10
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05