aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/utils/configwin.ml
Commit message (Expand)AuthorAge
* Removing dead code in CoqIDE.Gravatar Pierre-Marie Pédrot2016-09-21
* Fixed the CoqIDE preference widthGravatar ppedrot2012-04-18
* Icons in CoqIdE preference panelGravatar pboutill2011-10-25
* Remove dubious call to Obj.magic (and dead code, by the way)Gravatar glondu2009-11-13
* r8623@thot: notin | 2006-03-08 12:40:57 +0100Gravatar notin2006-03-08
* Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...Gravatar herbelin2004-04-13
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide: preferences support and optimizationsGravatar monate2003-03-03