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
*
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