aboutsummaryrefslogtreecommitdiff
path: root/ide/highlight.mll
AgeCommit message (Expand)Author
2009-11-04Removed 'Toplevel' language from extraction documentation, since it is not cu...gmelquio
2009-10-30Added Coqide highlighting for extraction vernacular.gmelquio
2009-10-30Removed 'dest' from keyword highlighting.gmelquio
2009-10-20Added syntactic coloration for 'Function'.gmelquio
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-09-14tags refactoringvgross
2009-06-29Miscellaneous practical commits: herbelin
2008-10-18Que Time n'empêche pas la colorisation des mots-clés.herbelin
2008-05-28- Correction bug highlighting "Module" dans Coqideherbelin
2008-05-25- Nouvelle option "Set Printing Existential Instances" pour forcerherbelin
2008-05-21Correction bugs ide undo et highlight (suite à typos)herbelin
2008-05-11- Changement du code de Zplus pour accomoder ring qui sinon prend uneherbelin
2008-05-10Amélioration de la colorisation, du backtrack et des messages de CoqIDEherbelin
2008-04-25Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveherbelin
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-01 11:39:23 +0000