From a7928b121ae5c356eac5e2f48f32faca404a7ce3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 11:18:02 +0000
Subject: Made new command proof-cd to cd to the directory of the current
 buffer.  Added a version of it to proof-activate-scripting-hook. Removed cd
 from initialization sequence. Changed prover specifics accordingly.

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index a2df7a0c..4b0f6070 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -65,8 +65,7 @@
 
 ;; Command to initialize the Coq Proof Assistant
 (defconst coq-shell-init-cmd 
-  (concat (format "Set Undo %s.\n" coq-default-undo-limit)
-	  (format "Cd \"%s\"." default-directory)))
+  (format "Set Undo %s" coq-default-undo-limit))
 
 ;; Command to reset the Coq Proof Assistant
 (defconst coq-shell-restart-cmd 
@@ -75,7 +74,8 @@
 (defvar coq-shell-prompt-pattern (concat "^" proof-id " < ")
   "*The prompt pattern for the inferior shell running coq.")
 
-(defvar coq-shell-cd nil ; "Cd \"%s\"."
+;; FIXME da: this was disabled (set to nil) -- why?
+(defvar coq-shell-cd "Cd \"%s\""
   "*Command of the inferior process to change the directory.") 
 
 (defvar coq-shell-abort-goal-regexp "Current goal aborted"
-- 
cgit v1.2.3