aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/utils/configwin_keys.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* 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: preferences support and optimizationsGravatar monate2003-03-03