aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/utils/configwin_html_config.ml
Commit message (Expand)AuthorAge
* 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