diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-10 16:12:42 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-04-10 19:43:08 +0200 |
commit | 7477094b353b48f1bd1f8ee97a8cd69c04be9db9 (patch) | |
tree | 4170869fea6012788ad042a53790d2d83bc0fee2 /ide/coq_style.xml | |
parent | cbd7317516eaac4a5f37c896da5ea984ec1bb77a (diff) |
CoqIDE: options for syntax highlighting
Diffstat (limited to 'ide/coq_style.xml')
-rw-r--r-- | ide/coq_style.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ide/coq_style.xml b/ide/coq_style.xml index 85ea4d891..67631d346 100644 --- a/ide/coq_style.xml +++ b/ide/coq_style.xml @@ -11,4 +11,16 @@ <style name="coq:identifier" foreground="#navy"/> <style name="coq:constr-keyword" foreground="#dark green"/> <style name="coq:constr-sort" foreground="#008080"/> + +<style name="coq-ssreflect:comment" foreground="#b22222"/> +<style name="coq-ssreflect:coqdoc" foreground="#b22222" italic="true"/> +<style name="coq-ssreflect:vernac-keyword" bold="true" foreground="#a021f0"/> +<style name="coq-ssreflect:gallina-keyword" bold="true" foreground="#a021f0"/> +<style name="coq-ssreflect:identifier" bold="true" foreground="#0000ff"/> +<style name="coq-ssreflect:constr-keyword" foreground="#228b22"/> +<style name="coq-ssreflect:constr-sort" foreground="#228b22"/> +<style name="coq-ssreflect:tactic" foreground="#101092"/> +<style name="coq-ssreflect:endtactic" foreground="#ff3f3f"/> +<style name="coq-ssreflect:iterator" foreground="#be6ad4"/> +<style name="coq-ssreflect:string" foreground="#8b2252"/> </style-scheme> |