aboutsummaryrefslogtreecommitdiff
path: root/ide/highlight.mll
AgeCommit message (Expand)Author
2007-02-16Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.msozeau
2006-05-31Colorisation dans Coqidenotin
2004-11-27Complétion déclarations coqideherbelin
2004-10-28qq bugs du highlight de CoqIDEfilliatr
2004-07-16Nouvelle en-têteherbelin
2004-02-04highlightmarche
2003-11-03Check en plus parmi les keywordsletouzey
2003-09-05highlighting de Extractionletouzey
2003-06-13coqide: indentationmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-24coqide : line number modemonate
2003-04-10coqide: bug highlight corrigemonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-03CoqIDE: copy/pastemonate
2003-03-03IDE:colorationfilliatr
2003-02-27coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...monate
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
2003-02-11Undo dans Coq IDEfilliatr
2003-02-04interface GTK2 experimentalemonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 05:31:39 +0000