From da0b1b3245bf171a56f3b2d77d5e2fe448544908 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 13:47:57 +0000
Subject: Switch back to %s, rename proof-shell-string-escapes ->
 proof-shell-filename-escapes, and always apply for filename substn.

---
 generic/proof-syntax.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 69d08e7f..ae57888c 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -161,8 +161,7 @@ may assign this function to `after-change-function'."
 We use expand-file-name to avoid problems with dumb
 proof assistants and ~"  
   (proof-format 
-   (list (cons "%s" (expand-file-name filename))
-	 (cons "%e" (proof-format proof-shell-string-escapes 
+   (list (cons "%s" (proof-format proof-shell-filename-escapes 
 				  (expand-file-name filename))))
    string))
  
-- 
cgit v1.2.3