From 80440a29125778eced50abe8d4eb60ab67b0a7ba Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Tue, 5 Nov 1996 10:13:31 +0000 Subject: fixed bug in ids-to-regexp and improved regular expression for fontifying LEGO --- proof.el | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'proof.el') diff --git a/proof.el b/proof.el index 26c1e749..96b673bc 100644 --- a/proof.el +++ b/proof.el @@ -3,7 +3,7 @@ ;; rearranging Thomas Schreiber's code. ;; Maintainer: LEGO Team -;; Time-stamp: <30 Oct 96 tms /home/tms/elisp/proof.el> +;; Time-stamp: <05 Nov 96 tms /home/tms/elisp/proof.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -129,13 +129,11 @@ s end-of-word-occurence)) separator))))) + (defun ids-to-regexp (l) "transforms a non-empty list of identifiers `l' into a regular expression matching any of its elements" - (let ((tail (cdr l)) - (id (concat "\\<" (regexp-quote (car l)) "\\>"))) - (if (atom tail) (regexp-quote id) - (concat id "\\|" (ids-to-regexp tail))))) +(mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) (defun w3-remove-file-name (address) "remove the file name in a World Wide Web address" -- cgit v1.2.3