diff options
| author | David Aspinall | 2000-03-22 13:13:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:13:19 +0000 |
| commit | ff6512e4b4a371ec673f3c29d225ec1e5a5ca610 (patch) | |
| tree | 75cd84ad39263106ad4e83c8fb3733e0db94a59c /generic | |
| parent | 66f1205a9a7a20ec25303a6a357cc575fc8a6ab5 (diff) | |
Use proof-format-filename instead of format on cmds with file parameter.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 7f42776c..f5968d7e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -458,13 +458,15 @@ proof assistant and Emacs has a modified buffer visiting the file." ;; Tell the proof assistant, if we should and if we can (if (and informprover proof-shell-inform-file-processed-cmd) (proof-shell-invisible-command - (format proof-shell-inform-file-processed-cmd cfile) + (proof-format-filename proof-shell-inform-file-processed-cmd + cfile) 'wait))))) (defun proof-inform-prover-file-retracted (rfile) (if proof-shell-inform-file-retracted-cmd (proof-shell-invisible-command - (format proof-shell-inform-file-retracted-cmd rfile) + (proof-format-filename proof-shell-inform-file-retracted-cmd + rfile) 'wait))) (defun proof-auto-retract-dependencies (cfile &optional informprover) @@ -2198,11 +2200,9 @@ Typically, a list of syntax of commands available." (proof-define-assistant-command proof-cd "Change directory to the default directory for the current buffer." proof-shell-cd-cmd - (format proof-shell-cd-cmd - ;; Use expand-file-name to avoid problems with dumb - ;; proof assistants and "~" + (proof-format-filename proof-shell-cd-cmd ;; FSF fix: use default-directory rather than fn - (expand-file-name default-directory))) + default-directory)) (defun proof-cd-sync () "If proof-shell-cd-cmd is set, do proof-cd and wait for prover ready. |