aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/FAQ
Commit message (Expand)AuthorAge
* Removed the quasi-useless gtk2rc file and the documentation that went with it...Gravatar ppedrot2012-04-27
* CoqIdE configuration file won't pollute your home anymoreGravatar pboutill2011-11-20
* Remove references to -ide option of coqmktopGravatar glondu2011-01-11
* coqide utf8Gravatar marche2004-01-20
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* configure pour CoqIde repareGravatar monate2003-05-26
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* CoqIde: AccelMap supportGravatar monate2003-05-12
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: search forwardGravatar monate2003-04-28
* *** empty log message ***Gravatar monate2003-03-14
* coqide: maj des bindingsGravatar monate2003-03-10
* CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)Gravatar filliatr2003-02-21