aboutsummaryrefslogtreecommitdiff
path: root/ide/preferences.ml
AgeCommit message (Expand)Author
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-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-05-14coqide: load/save file encoding support/monate
2003-05-12CoqIde: AccelMap supportmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-28coqide: search forwardmonate
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
2003-03-14coqide: maj preferences du wizzardmonate
2003-03-12coqide: .coqidepref en bin. Preferences en plusmonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-05coqide: ouvrir une seule fois un fichiermonate
2003-03-03CoqIDE: copy/pastemonate
2003-03-03coqide: preferences support and optimizationsmonate
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-24ide changesmonate
2003-02-24ctrl-k like Emacs in coqidemonate
2003-02-24*** empty log message ***monate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 01:33:15 +0000