diff options
| author | David Aspinall | 1999-10-06 11:18:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 11:18:02 +0000 |
| commit | a7928b121ae5c356eac5e2f48f32faca404a7ce3 (patch) | |
| tree | 382ab74f03eaf010e8502316ac07c9c6e789cf59 /coq | |
| parent | bcf862425eaf541ca490fcd3f209f2cc938310b5 (diff) | |
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.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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" |