aboutsummaryrefslogtreecommitdiff
path: root/ide/coq.lang
AgeCommit message (Expand)Author
2017-12-05use \ocaml macro in Extraction chapter; accept OCaml in Extraction LanguagePaul Steckler
2016-04-28Make the language grammar much more precise. (Fix bugs #4682 and #4683)Guillaume Melquiond
2015-08-17Highlighting of the "Next Obligation" command in CoqIDE.Pierre-Marie Pédrot
2015-07-10Highlighting Universe in CoqIDE.Hugo Herbelin
2015-06-07Fixing bug #4233: The command Restart is not fontified correctly.Pierre-Marie Pédrot
2015-04-27Improve syntax highlighting.Guillaume Melquiond
2015-04-09Add extraction to JSON.Nickolai Zeldovich
2015-03-06Simplify grammar for syntax highlighting by removing extraneous parentheses.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Print/Reset Extraction.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Extraction Inline and add Separate Extraction.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Extraction Language.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Typeclasses Opaque.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Module (Type).Guillaume Melquiond
2015-03-06Fix syntax highlighting of Extract Inductive.Guillaume Melquiond
2015-03-06Add syntax highlighting for Declare Module.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Import and Export.Guillaume Melquiond
2015-03-06Add syntax highlighting for Declare ML Module.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Require.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Scheme.Guillaume Melquiond
2015-03-06Do not highlight "using" as a constr keyword.Guillaume Melquiond
2015-03-06Add syntax highlighting for About.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Save.Guillaume Melquiond
2015-03-06Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.Guillaume Melquiond
2015-03-06Add syntax highlighting for Coercion.Guillaume Melquiond
2015-03-06Fix syntax highlighting of "Require multiple libraries".Guillaume Melquiond
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-02-01 20:38:53 +0000