diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-24 09:51:53 +0000 |
commit | 76d6b0b2b1f039549d308a0d2c478a6b05869af9 (patch) | |
tree | 78cc7e13bf290a17e7006a6d4616a8a08e36ce8f /generic/proof-syntax.el | |
parent | 8f8e9388b582ad6d3ee6e1eea842a8d443d4ce89 (diff) |
Merge changes from Version4Branch.
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r-- | generic/proof-syntax.el | 8 |
1 files changed, 1 insertions, 7 deletions
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 ; |