From ff6512e4b4a371ec673f3c29d225ec1e5a5ca610 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 13:13:19 +0000
Subject: Use proof-format-filename instead of format on cmds with file
 parameter.

---
 generic/proof-script.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'generic')

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.
-- 
cgit v1.2.3