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
*
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
*
Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)
notin
2006-06-08
*
Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-20
*
Déplacement de fonctionnalités unix et browser de ide vers lib
herbelin
2005-05-19
*
Nouvelle en-tête
herbelin
2004-07-16
*
but autoamtics tactics saving
marche
2004-05-03
*
ide: silent behavior better, save icon, -byte works
marche
2004-03-03
*
search window
coq
2004-02-04
*
coqide utf8
marche
2004-01-20
*
ameliorations coqide
coq
2003-12-30
*
preferences
marche
2003-12-08
*
bug de preferencs/font"
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 : ported to lablgtk2 snapshot of 2003/07/07
monate
2003-07-07
*
coqide: load/save file encoding support/
monate
2003-05-14
*
CoqIde: AccelMap support
monate
2003-05-12
*
coqide: toolbar/autosave
monate
2003-05-07
*
coqide: search forward
monate
2003-04-28
*
fichier de pref coq IDE en ASCII (ENFIN)
filliatr
2003-04-28
*
coqide: maj preferences du wizzard
monate
2003-03-14
*
coqide: .coqidepref en bin. Preferences en plus
monate
2003-03-12
*
coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...
monate
2003-03-07
*
coqide: fenetre de cmmandes . undo correct
monate
2003-03-06
*
coqide: ouvrir une seule fois un fichier
monate
2003-03-05
*
CoqIDE: copy/paste
monate
2003-03-03
*
coqide: preferences support and optimizations
monate
2003-03-03
*
aide contextuelle / menus compilation + print + export
filliatr
2003-02-24
*
ide changes
monate
2003-02-24
*
ctrl-k like Emacs in coqide
monate
2003-02-24
*
*** empty log message ***
monate
2003-02-24