aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.ide
Commit message (Expand)AuthorAge
* coqide: search forwardGravatar monate2003-04-28
* new utf8.vGravatar monate2003-04-25
* *** empty log message ***Gravatar monate2003-04-24
* coqide: thread bug fixGravatar monate2003-04-10
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 16:43:41 +0000