index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
preferences.mli
Commit message (
Expand
)
Author
Age
*
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
*
ameliorations coqide
coq
2003-12-30
*
preferences
marche
2003-12-08
*
changement menu et toolbar
marche
2003-12-04
*
commands renomme en queries, command goto a la place de forward to backwardt o
marche
2003-11-28
*
Coqide : les nouveaute d'aout
monate
2003-09-19
*
option pour supprimer les menus contextuels sur les buts
marche
2003-09-03
*
coqide: load/save file encoding support/
monate
2003-05-14
*
coqide: missing files
monate
2003-05-07