aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.mli
Commit message (Expand)AuthorAge
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* coqide: warn when using locale or manual charsetGravatar monate2003-07-10
* coqide: indentationGravatar monate2003-06-13
* CoqIde: externalsGravatar monate2003-05-20
* coqide: missing filesGravatar monate2003-05-07