diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 13:20:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 13:20:13 +0000 |
| commit | 72e32b259215bda786365b70d267abefe4f929d7 (patch) | |
| tree | c6d677e2e0975c4745c8602827c13e74bb08ae5e /isar/isar-syntax.el | |
| parent | 6dd96d298dc891760b4dd64963f25f38e4aef002 (diff) | |
isabelle-string-face: switch to a more traditional green
(strings are brown, but logic is green)
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 176ae5f0..6b48cce7 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -281,12 +281,12 @@ matches contents of quotes for quoted identifiers.") (return t))))) -;; ----- Isabelle inner syntax hilite +;; ----- Isabelle inner syntax highlight (defface isabelle-string-face (proof-face-specs - (:foreground "darkgray") - (:background "lightgray") + (:foreground "springgreen4") + (:background "springgreen1") (:italic t)) "*Face used instead of `font-lock-string-face' for Isar." :group 'proof-faces) |