aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/highlight.mll
Commit message (Expand)AuthorAge
* Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.Gravatar msozeau2007-02-16
* Colorisation dans CoqideGravatar notin2006-05-31
* Complétion déclarations coqideGravatar herbelin2004-11-27
* qq bugs du highlight de CoqIDEGravatar filliatr2004-10-28
* Nouvelle en-têteGravatar herbelin2004-07-16
* highlightGravatar marche2004-02-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 02:55:54 +0000