diff options
| author | David Aspinall | 2000-03-22 13:03:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-22 13:03:48 +0000 |
| commit | 8c14c8e72ff6e093f0a35c56f8982ba2a3b2785c (patch) | |
| tree | 7690e348d61df39524d0f070c515841a0c30df77 /isar | |
| parent | 04dae31678bbb6eb58e957a88625de44da1fa97c (diff) | |
Fix other file commands to use %e substitution.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 9914c7b8..f65b78cd 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -299,8 +299,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 \"%s\";" - proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\";") + proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%e\";" + proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%e\";") (add-hook 'proof-activate-scripting-hook 'isar-activate-scripting)) |