coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Better style handling in CoqIDE	ppedrot	2012-05-02
*	Fixed previous commit	ppedrot	2012-05-02
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Coqide highligthing is back (done by gtksourceview).	pboutill	2012-05-02
*	Source language and style are preferences	pboutill	2012-05-02
*	Fixed the CoqIDE preference width	ppedrot	2012-04-18
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
*	Fixed bug #2752	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
*	Browser documentation & CharSet under Windows	pboutill	2012-04-13
*	Coqide minor enhancements	pboutill	2012-04-12
*	Added a reset button for CoqIDE colors	ppedrot	2012-04-11
*	Added a background color configuration option in CoqIDE.	ppedrot	2012-04-11
*	Reversed colour highlight in CoqIDE	ppedrot	2012-04-04
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	Typo	pboutill	2011-12-07
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
*	Icons in CoqIdE preference panel	pboutill	2011-10-25
*	ide/preferences.ml: apparently no `META in Gdk.Tags.modifier	letouzey	2011-09-06
*	Add preferences to say how to deal with a project file.	pboutill	2011-09-01
*	Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...	pboutill	2011-07-27
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10
*	Attempt to use more local doc in coqide	pboutill	2011-04-28
*	Coqide: try to avoid displaying error messages on coqide's console	letouzey	2011-04-21
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	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
*	Addressing part 2 of bug report 2377 (removing intrusive warning when	herbelin	2010-09-19
*	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
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	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
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Show configure choice for browser in CoqIDE preferences	glondu	2008-07-28
*	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin	2008-06-06
*	add option to change modifiers of display menu	jnarboux	2008-05-28
*	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin	2008-05-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	CoqIDE default font set to monospace so as indentation to be meaningful	herbelin	2008-03-23
*	Branchement de l'auto-save de coqide par défaut	herbelin	2008-03-04
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Add the possibility to change the position of tabs in main window (from r9717).	glondu	2007-04-16
*	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin	2006-11-07
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13