aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/utils/configwin_ihm.ml
Commit message (Expand)AuthorAge
* Change the customization of modifiers (bug #2210)Gravatar vgross2010-02-15
* Remove dubious call to Obj.magic (and dead code, by the way)Gravatar glondu2009-11-13
* Remove useless call to Obj.magicGravatar glondu2009-11-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* Fix a bug which sometimes made coqide crash after changingGravatar glondu2007-04-16
* r8623@thot: notin | 2006-03-08 12:40:57 +0100Gravatar notin2006-03-08
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...Gravatar herbelin2004-04-13
* ameliorations coqideGravatar coq2003-12-30
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
* coqide: preferences support and optimizationsGravatar monate2003-03-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 01:24:17 +0000