aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/find_phrase.mll
Commit message (Expand)AuthorAge
* 2 bugs de reconnaissanceGravatar coq2004-10-15
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* coqide: .* on start/add \n on eofGravatar monate2003-05-14
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...Gravatar monate2003-02-27
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)Gravatar filliatr2003-02-21
* interface GTK2 experimentaleGravatar monate2003-02-04