diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-09 19:24:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-09 19:24:13 +0000 |
commit | 6dd96d298dc891760b4dd64963f25f38e4aef002 (patch) | |
tree | a328f9fa058b8a4fae9283da13694cf19463ffc2 /isar | |
parent | c3693c81982e37d1c2fea1ac4d9514ffaac72c60 (diff) |
Fix compile and spelling
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 789f7271..176ae5f0 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -1,5 +1,5 @@ ;; isar-syntax.el Syntax expressions for Isabelle/Isar -;; Copyright (C) 1994-2004, 2009 LFCS Edinburgh. +;; Copyright (C) 1994-2004, 2009, 2010 LFCS Edinburgh. ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; ;; Authors: David Aspinall <David.Aspinall@ed.ac.uk> @@ -288,14 +288,15 @@ matches contents of quotes for quoted identifiers.") (:foreground "darkgray") (:background "lightgray") (:italic t)) - "*Face used instead of `font-lock-string-face' for Isar.") + "*Face used instead of `font-lock-string-face' for Isar." + :group 'proof-faces) (defface isabelle-class-name-face (proof-face-specs (:foreground "red") (:foreground "red3") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defface isabelle-tfree-name-face @@ -303,7 +304,7 @@ matches contents of quotes for quoted identifiers.") (:foreground "purple") (:foreground "purple3") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defface isabelle-tvar-name-face @@ -311,7 +312,7 @@ matches contents of quotes for quoted identifiers.") (:foreground "purple") (:foreground "purple3") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defface isabelle-free-name-face @@ -319,7 +320,7 @@ matches contents of quotes for quoted identifiers.") (:foreground "blue") (:foreground "blue3") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defface isabelle-bound-name-face @@ -327,7 +328,7 @@ matches contents of quotes for quoted identifiers.") (:foreground "green4") (:foreground "green") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defface isabelle-var-name-face @@ -335,7 +336,7 @@ matches contents of quotes for quoted identifiers.") (:foreground "darkblue") (:foreground "blue3") (:bold t)) - "*Face for Isabelle term / type hiliting" + "*Face for Isabelle term / type highlighting" :group 'proof-faces) (defconst isabelle-class-name-face 'isabelle-class-name-face) |