coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	CoqIDE: make error background configurable	gareuselesinge	2013-10-11
*	Gtk check_buttons do have a label	gareuselesinge	2013-08-08
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	Fixing a warning in CoqIDE compilation.	ppedrot	2013-08-08
*	GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...	pboutill	2012-12-19
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Display Menu now called View Menu (in CoqIDE preferences).	herbelin	2012-12-04
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Fix coqide compilation with lablgtk 2.16	pboutill	2012-09-04
*	Updating headers.	herbelin	2012-08-08
*	Bug 2706: Coqide and layout that use special modifiers	pboutill	2012-07-25
*	Added the show_margin_right option to CoqIDE	ppedrot	2012-06-26
*	Fixing #2803.	ppedrot	2012-06-04
*	Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.	ppedrot	2012-05-23
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Tweaking options of CoqIDE.	ppedrot	2012-05-13
*	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot	2012-05-08
*	Rewritten the autocompletion mechanism of CoqIDE, and stuffed it	ppedrot	2012-05-08
*	Added a bunch of new options relative to editor.	ppedrot	2012-05-02
*	Better style handling in CoqIDE	ppedrot	2012-05-02