From 76d6b0b2b1f039549d308a0d2c478a6b05869af9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jul 2008 09:51:53 +0000 Subject: Merge changes from Version4Branch. --- generic/proof-syntax.el | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'generic/proof-syntax.el') diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 482cc5e0..95bd114d 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -14,9 +14,7 @@ (defun proof-ids-to-regexp (l) "Maps a non-empty list of tokens `l' to a regexp matching any element" - (if (featurep 'xemacs) - (mapconcat (lambda (s) (concat "\\_<" s "\\_>")) l "\\|") ;; old version - (concat "\\_<\\(?:" (mapconcat 'identity l "\\|") "\\)\\_>"))) + (concat "\\_<\\(?:" (mapconcat 'identity l "\\|") "\\)\\_>")) (defun proof-anchor-regexp (e) "Anchor (\\`) and group the regexp E." @@ -172,8 +170,6 @@ Meant to be used from `font-lock-keywords'." ;; Functions for doing something like "format" but with customizable ;; control characters. ;; -;; Added for version 3.1 to help quote funny characters in filenames. -;; ;;;###autoload (defun proof-format (alist string) @@ -236,8 +232,6 @@ return the resulting (string) value." ;; ;; Functions for inserting text into buffer. ;; -;; Added for version 3.2 to provide more prover specific shortcuts. -;; ; Taken from Isamode ; -- cgit v1.2.3