index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
preferences.ml
Commit message (
Expand
)
Author
Age
*
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
*
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
[next]