diff options
| author | Healfdene Goguen | 1998-06-10 11:45:12 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-10 11:45:12 +0000 |
| commit | 28a1ff8a934e063067443bbb76392043b0259bd0 (patch) | |
| tree | e142f957542dad1a5ada8b9f996eaba67343455c | |
| parent | 983c13f348be5cd6fe5e8c35c5e429f4480cffd1 (diff) | |
Changed "\\s " to "\\s-" in proof-id as whitespace pattern.
| -rw-r--r-- | proof-fontlock.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/proof-fontlock.el b/proof-fontlock.el index 97553b0a..6d2bd51f 100644 --- a/proof-fontlock.el +++ b/proof-fontlock.el @@ -4,6 +4,9 @@ ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> ;; $Log$ +;; Revision 1.8 1998/06/10 11:45:12 hhg +;; Changed "\\s " to "\\s-" in proof-id as whitespace pattern. +;; ;; Revision 1.7 1998/05/29 09:49:53 tms ;; o outsourced indentation to proof-indent ;; o support indentation of commands @@ -60,7 +63,7 @@ (defun proof-ids (proof-id) "Function to generate a regular expression for separated lists of identifiers." - (concat proof-id "\\(\\s *,\\s *" proof-id "\\)*")) + (concat proof-id "\\(\\s-*,\\s-*" proof-id "\\)*")) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; font lock faces: declarations, errors, tacticals ;; |