aboutsummaryrefslogtreecommitdiff
path: root/ide/utils/configwin_ihm.ml
AgeCommit message (Expand)Author
2010-02-15Change the customization of modifiers (bug #2210)vgross
2009-11-13Remove dubious call to Obj.magic (and dead code, by the way)glondu
2009-11-13Remove useless call to Obj.magicglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2007-04-16Fix a bug which sometimes made coqide crash after changingglondu
2006-03-08 r8623@thot: notin | 2006-03-08 12:40:57 +0100notin
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2004-04-13Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...herbelin
2003-12-30ameliorations coqidecoq
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-05-14coqide: load/save file encoding support/monate
2003-05-07coqide: toolbar/autosavemonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-03coqide: preferences support and optimizationsmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:58:47 +0000