From 6dd96d298dc891760b4dd64963f25f38e4aef002 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 9 Aug 2010 19:24:13 +0000 Subject: Fix compile and spelling --- isar/isar-syntax.el | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'isar') 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 @@ -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) -- cgit v1.2.3