aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/highlight.mll
Commit message (Expand)AuthorAge
* Check en plus parmi les keywordsGravatar letouzey2003-11-03
* highlighting de ExtractionGravatar letouzey2003-09-05
* coqide: indentationGravatar monate2003-06-13
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide : line number modeGravatar monate2003-04-24
* coqide: bug highlight corrigeGravatar monate2003-04-10
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* CoqIDE: copy/pasteGravatar monate2003-03-03
* IDE:colorationGravatar filliatr2003-03-03
* coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...Gravatar monate2003-02-27
* CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)Gravatar filliatr2003-02-21
* Undo dans Coq IDEGravatar filliatr2003-02-11
* interface GTK2 experimentaleGravatar monate2003-02-04