aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.lang
AgeCommit message (Expand)Author
2014-09-17Remove pointless regex for '""' as the empty string already matches it.Guillaume Melquiond
2014-09-17Fix highlighting of "Hint Unfold" and "Hint Rewrite".Guillaume Melquiond
2014-09-17Properly highlight the Export keyword.Guillaume Melquiond
2014-09-17Fix ambiguous regex in syntax highlighting.Guillaume Melquiond
2014-09-17Fix broken syntax highlighting for Coq files using "Proof constr".Guillaume Melquiond
2014-04-28Fix broken commit 2bcb2cb.Guillaume Melquiond
2014-04-28Fix incorrect syntax highlighting after the Goal command.Guillaume Melquiond
2014-03-02Fix syntax highlighting of "Implicit Arguments" for gtksourceview.Guillaume Melquiond
2013-12-03Ensure locality modifiers are properly highlighted in CoqIDE.Guillaume Melquiond
2013-08-08Coqide ported to STMgareuselesinge
2012-09-04Coqide Fix highlighting of Extraction, Import, Variablespboutill
2012-08-24Better highlighting of strings in coqide.aspiwack
2012-08-10Fixes bug #2857.aspiwack
2012-05-02Coqide highligthing is back (done by gtksourceview).pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 15:04:18 +0000