From 8c14c8e72ff6e093f0a35c56f8982ba2a3b2785c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 13:03:48 +0000
Subject: Fix other file commands to use %e substitution.

---
 isar/isar.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isar')

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))
 
 
-- 
cgit v1.2.3