From ee27105fbdb260d80fbb1cef1c275a6fa13d3df5 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 18 Aug 2009 09:57:19 +0000 Subject: Note --- generic/proof-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-syntax.el') diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index b5d516d6..0d6b0087 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -27,7 +27,7 @@ (defun proof-regexp-alt (&rest args) "Return the regexp which matches any of the regexps ARGS." - ;; Is this not available in some library? + ;; see regexp-optn (NB: but that is for strings, not regexps) (let ((res "")) (dolist (regexp args) (setq res (concat res (if (string-equal res "") "\\(" "\\|\\(") -- cgit v1.2.3