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.

---
 isar/isar.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index bfe635d0..bd2216b4 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -161,9 +161,6 @@ See -k option for Isabelle interface script."
    proof-shell-wakeup-char              nil
    proof-shell-annotated-prompt-regexp  "^\\w*[>#] \^AS"
 
-   ;; just for comint.
-   proof-shell-prompt-pattern           "^\\w*[>#] "
-
    ;; for issuing command, not used to track cwd in any way.
    proof-shell-cd-cmd		(isar-markup-ml "ThyLoad.add_path \"%s\"")
 
-- 
cgit v1.2.3