aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.lang
Commit message (Expand)AuthorAge
* Make the language grammar much more precise. (Fix bugs #4682 and #4683)Gravatar Guillaume Melquiond2016-04-28
* Highlighting of the "Next Obligation" command in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-17
* Highlighting Universe in CoqIDE.Gravatar Hugo Herbelin2015-07-10
* Fixing bug #4233: The command Restart is not fontified correctly.Gravatar Pierre-Marie Pédrot2015-06-07
* Improve syntax highlighting.Gravatar Guillaume Melquiond2015-04-27
* Add extraction to JSON.Gravatar Nickolai Zeldovich2015-04-09
* Simplify grammar for syntax highlighting by removing extraneous parentheses.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Print/Reset Extraction.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extraction Inline and add Separate Extraction.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extraction Language.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Typeclasses Opaque.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Module (Type).Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Extract Inductive.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Declare Module.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Import and Export.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Declare ML Module.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Require.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Scheme.Gravatar Guillaume Melquiond2015-03-06
* Do not highlight "using" as a constr keyword.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for About.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Save.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of Hypothesis, Axiom, Variable, Parameter, and Context.Gravatar Guillaume Melquiond2015-03-06
* Add syntax highlighting for Coercion.Gravatar Guillaume Melquiond2015-03-06
* Fix syntax highlighting of "Require multiple libraries".Gravatar Guillaume Melquiond2015-03-06
* Remove pointless regex for '""' as the empty string already matches it.Gravatar Guillaume Melquiond2014-09-17
* Fix highlighting of "Hint Unfold" and "Hint Rewrite".Gravatar Guillaume Melquiond2014-09-17
* Properly highlight the Export keyword.Gravatar Guillaume Melquiond2014-09-17
* Fix ambiguous regex in syntax highlighting.Gravatar Guillaume Melquiond2014-09-17
* Fix broken syntax highlighting for Coq files using "Proof constr".Gravatar Guillaume Melquiond2014-09-17
* Fix broken commit 2bcb2cb.Gravatar Guillaume Melquiond2014-04-28
* Fix incorrect syntax highlighting after the Goal command.Gravatar Guillaume Melquiond2014-04-28
* Fix syntax highlighting of "Implicit Arguments" for gtksourceview.Gravatar Guillaume Melquiond2014-03-02
* Ensure locality modifiers are properly highlighted in CoqIDE.Gravatar Guillaume Melquiond2013-12-03
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Coqide Fix highlighting of Extraction, Import, VariablesGravatar pboutill2012-09-04
* Better highlighting of strings in coqide.Gravatar aspiwack2012-08-24
* Fixes bug #2857.Gravatar aspiwack2012-08-10
* Coqide highligthing is back (done by gtksourceview).Gravatar pboutill2012-05-02