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 /isar | |
| 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 'isar')
| -rw-r--r-- | isar/isar.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index f65b78cd..866bee75 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -242,7 +242,11 @@ proof-shell-prompt-pattern "^\\w*[>#] " ;; for issuing command, not used to track cwd in any way. - proof-shell-cd-cmd "ML {* Library.cd \"%e\" *}" + proof-shell-cd-cmd "ML {* Library.cd \"%s\" *}" + + ;; Escapes for filenames inside ML strings. + proof-shell-filename-escapes + '(("\\\\" . "\\\\") ("\"" . "\\\"")) proof-shell-proof-completed-regexp nil ; n.a. proof-shell-interrupt-regexp "\364\\*\\*\\* Interrupt\\|\360Interrupt" @@ -299,8 +303,8 @@ proof-shell-retract-files-regexp "Proof General, you can unlock the file \"\\(.*\\)\"" proof-shell-compute-new-files-list 'isar-shell-compute-new-files-list - proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%e\";" - proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%e\";") + proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%s\";" + proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\";") (add-hook 'proof-activate-scripting-hook 'isar-activate-scripting)) |