coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
*	Add an option to configure the modifier for Queries.	Cyprien Mangin	2016-06-02
*	Add user-created queries to CoqIDE.	Cyprien Mangin	2016-06-02
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Adding a tag preference	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
* \|	Simplifying CoqIDE preferences mechanism.	Pierre-Marie Pédrot	2015-08-16
\|/
*	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
*	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
*	CoqIDE: make error background configurable	gareuselesinge	2013-10-11
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	Updating headers.	herbelin	2012-08-08
*	Added the show_margin_right option to CoqIDE	ppedrot	2012-06-26
*	Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.	ppedrot	2012-05-23
*	Tweaking options of CoqIDE.	ppedrot	2012-05-13
*	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
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Source language and style are preferences	pboutill	2012-05-02
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	Coqide input encoding preference is an algebraic type.	pboutill	2012-04-14
*	Added a background color configuration option in CoqIDE.	ppedrot	2012-04-11
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	Add preferences to say how to deal with a project file.	pboutill	2011-09-01
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10
*	Reverted r13715 "Add improved indenters that rely on the current proof state ...	gmelquio	2011-01-06
*	Add improved indenters that rely on the current proof state to choose the ind...	gmelquio	2010-12-14
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Change the customization of modifiers (bug #2210)	vgross	2010-02-15
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Change in UI behaviour : proof folding is now done by double clicking. Delay is	vgross	2009-06-08
*	add option to change modifiers of display menu	jnarboux	2008-05-28
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Add the possibility to change the position of tabs in main window (from r9717).	glondu	2007-04-16
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Nouvelle en-tête	herbelin	2004-07-16