aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
Commit message (Expand)AuthorAge
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* option pour supprimer les menus contextuels sur les butsGravatar marche2003-09-03
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: search forwardGravatar monate2003-04-28
* fichier de pref coq IDE en ASCII (ENFIN)Gravatar filliatr2003-04-28
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* coqide: .coqidepref en bin. Preferences en plusGravatar monate2003-03-12
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* coqide: ouvrir une seule fois un fichierGravatar monate2003-03-05
* CoqIDE: copy/pasteGravatar monate2003-03-03
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* ide changesGravatar monate2003-02-24
* ctrl-k like Emacs in coqideGravatar monate2003-02-24
* *** empty log message ***Gravatar monate2003-02-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 01:30:27 +0000