aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.mli
AgeCommit message (Expand)Author
2010-02-15Change the customization of modifiers (bug #2210)vgross
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-06-08Change in UI behaviour : proof folding is now done by double clicking. Delay isvgross
2008-05-28add option to change modifiers of display menujnarboux
2008-05-08** Efficacité, bugs, robustesse CoqIDE **herbelin
2007-04-16Add the possibility to change the position of tabs in main window (from r9717).glondu
2006-10-13Ajout des options Coqide suggérées par Damien Doligez (wish #1053)notin
2005-01-21Compatibilité ocamlweb pour cible docherbelin
2004-07-16Nouvelle en-têteherbelin
2003-12-30ameliorations coqidecoq
2003-12-08preferencesmarche
2003-12-04changement menu et toolbarmarche
2003-11-28commands renomme en queries, command goto a la place de forward to backwardt omarche
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-09-03option pour supprimer les menus contextuels sur les butsmarche
2003-05-14coqide: load/save file encoding support/monate
2003-05-07coqide: missing filesmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 11:41:11 +0000