diff options
| author | David Aspinall | 2000-03-22 13:47:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:47:57 +0000 |
| commit | da0b1b3245bf171a56f3b2d77d5e2fe448544908 (patch) | |
| tree | e7072e9569339731396303a92cb9d941aff94480 /generic/proof-syntax.el | |
| parent | ff6512e4b4a371ec673f3c29d225ec1e5a5ca610 (diff) | |
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-escapes, and always apply for filename substn.
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 1 insertions, 2 deletions
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)) |