From 17460bf8b246b7f26b390ca67145c11ee230de9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 16:42:57 +0000
Subject: Remove proof-shell-prompt-pattern, no longer used.

---
 generic/proof-syntax.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 0ca652c8..bd36a7d3 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -12,11 +12,11 @@
 (require 'proof-config)			; proof-case-fold-search
 (require 'proof-compat)			; proof-buffer-syntactic-context
 
-(defun proof-ids-to-regexp (l)
+(defsubst proof-ids-to-regexp (l)
   "Maps a non-empty list of tokens `l' to a regexp matching any element"
   (concat "\\_<\\(?:" (mapconcat 'identity l "\\|") "\\)\\_>"))
 
-(defun proof-anchor-regexp (e)
+(defsubst proof-anchor-regexp (e)
   "Anchor (\\`) and group the regexp E."
   (concat "\\`\\(" e "\\)"))
 
@@ -25,7 +25,7 @@
   "A regular expression that never matches anything")
 
 
-(defun proof-regexp-alt (&rest args)
+(defsubst proof-regexp-alt (&rest args)
   "Return the regexp which matches any of the regexps ARGS."
   ;; see regexp-optn (NB: but that is for strings, not regexps)
   (let ((res ""))
-- 
cgit v1.2.3