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.

---
 plastic/plastic.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'plastic')

diff --git a/plastic/plastic.el b/plastic/plastic.el
index e15f708b..b02d2065 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -121,9 +121,6 @@
 		(setenv "PLASTIC_TEST" (concat plastic-base "/test"))
 	)))
 
-(defvar plastic-shell-prompt-pattern "^\\(LF>[ \201]*\\)+"
-  "*The prompt pattern for the inferior shell running plastic.")
-
 (defvar plastic-shell-cd 
   (concat plastic-lit-string " &S ECHO no cd ;\n")
   "*Command of the inferior process to change the directory.") 
@@ -457,8 +454,7 @@ We assume that module identifiers coincide with file names."
 
 
 (defun plastic-shell-mode-config ()
-  (setq proof-shell-prompt-pattern plastic-shell-prompt-pattern
-        proof-shell-cd-cmd plastic-shell-cd
+  (setq proof-shell-cd-cmd plastic-shell-cd
         proof-shell-abort-goal-regexp plastic-shell-abort-goal-regexp
         proof-shell-proof-completed-regexp plastic-shell-proof-completed-regexp
         proof-shell-error-regexp plastic-error-regexp
-- 
cgit v1.2.3