Added optional argument to proof-ids for non-comma separators.

1 files 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.  ;;