aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--generic/proof-syntax.el5
1 files changed, 4 insertions, 1 deletions
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