diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-02 17:11:23 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-02 17:11:23 +0000 |
| commit | fed7d0f693128ae2a7c19a519882f12f138d88b4 (patch) | |
| tree | ba440463b0af41d67b72c68d59b519f8f7376ba6 /ide/coq_style.xml | |
| parent | 04d66a258efb91e73c313b3315abd2810947028d (diff) | |
Coqide highligthing is back (done by gtksourceview).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15269 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coq_style.xml')
| -rw-r--r-- | ide/coq_style.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ide/coq_style.xml b/ide/coq_style.xml new file mode 100644 index 000000000..85ea4d891 --- /dev/null +++ b/ide/coq_style.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<style-scheme id="coq_style" _name="Coq highlighting based on Ssr manual" + parent-scheme="classic" version="1.0"> +<author>The Coq Dev Team</author> +<_description>Coq/Ssreflect color scheme for the vernacular language</_description> + +<style name="coq:comment" foreground="#brown"/> +<style name="coq:coqdoc" foreground="#brown" italic="true"/> +<style name="coq:vernac-keyword" bold="true" foreground="#dark violet"/> +<style name="coq:gallina-keyword" bold="true" foreground="#orange red"/> +<style name="coq:identifier" foreground="#navy"/> +<style name="coq:constr-keyword" foreground="#dark green"/> +<style name="coq:constr-sort" foreground="#008080"/> +</style-scheme> |