From 28a1ff8a934e063067443bbb76392043b0259bd0 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 10 Jun 1998 11:45:12 +0000
Subject: Changed "\\s " to "\\s-" in proof-id as whitespace pattern.

---
 proof-fontlock.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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                 ;;
-- 
cgit v1.2.3