From 8bc42afd5bcd0e615d844874df1516445cf15a3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:32:16 +0000
Subject: Added optional argument to proof-ids for non-comma separators.

---
 generic/proof-syntax.el | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 1181b5be..4aa0bc4c 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -57,10 +57,11 @@ nil if a region cannot be found."
 ;; For font-lock, we treat ,-separated identifiers as one identifier
 ;; and refontify commata using \{proof-unfontify-separator}.
 
-(defun proof-ids (proof-id)
-  "Function to generate a regular expression for separated lists of
-  identifiers."
-  (concat proof-id "\\(\\s-*,\\s-*" proof-id "\\)*"))
+(defun proof-ids (proof-id &optional sepregexp)
+  "Generate a regular expression for separated lists of identifiers.
+Default is comma separated, or SEPREGEXP if set."
+  (concat proof-id "\\(\\s-*"   (or sepregexp ",") "\\s-*"
+	  proof-id "\\)*"))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; A big hack to unfontify commas in declarations and definitions.  ;;
-- 
cgit v1.2.3