From 62acb71bcf74d7a8123bf65fb9855815fd3acba3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 12:46:57 +0000
Subject: docstring

---
 generic/proof-syntax.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 798e2727..69d08e7f 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -156,7 +156,10 @@ may assign this function to `after-change-function'."
 
 (defun proof-format-filename (string filename)
   "Format STRING by replacing %s or %e by expanded version of FILENAME.
-%e is special form meaning use proof-shell-string-escapes."
+%e is special form meaning use proof-shell-string-escapes..
+
+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 
-- 
cgit v1.2.3