diff options
Diffstat (limited to 'isar/isar-syntax.el')
| -rw-r--r-- | isar/isar-syntax.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index e689fa9d..789f7271 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -283,6 +283,13 @@ matches contents of quotes for quoted identifiers.") ;; ----- Isabelle inner syntax hilite +(defface isabelle-string-face + (proof-face-specs + (:foreground "darkgray") + (:background "lightgray") + (:italic t)) + "*Face used instead of `font-lock-string-face' for Isar.") + (defface isabelle-class-name-face (proof-face-specs (:foreground "red") |