From 2b20aeb75ac47d5a486336e775c148981339ace7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 7 Oct 1999 20:33:41 +0000
Subject: proof-shell-cd: isar-verbatim no longer required;

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index c608c980..429a8eb1 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -190,7 +190,7 @@
    proof-shell-prompt-pattern		"^\\w*[>#] "
 
    ;; for issuing command, not used to track cwd in any way.
-   proof-shell-cd			(isar-verbatim "cd \"%s\"")
+   proof-shell-cd			"cd \"%s\""
 
    proof-shell-proof-completed-regexp   nil     ; n.a.
    proof-shell-interrupt-regexp         "\364\\*\\*\\* Interrupt\\|\360Interrupt"
-- 
cgit v1.2.3