Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle.

3 files changed, 12 insertions, 0 deletions

diff --git a/isa/BUGS b/isa/BUGS
index b874a599..41f992c3 100644
--- a/isa/BUGS
+++ b/isa/BUGS
@@ -4,6 +4,9 @@
 
 See also ../BUGS for generic bugs.
 
+See also ../isar/BUGS.  Isar is now main the instance for 
+Isabelle PG, the original Isabelle instance less supported.
+
 
 ** Issues with tracing mode 
 
diff --git a/isa/isa.el b/isa/isa.el
index 55405ac6..23da7ffe 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -229,6 +229,11 @@ and script mode."
    pg-subterm-help-cmd			"printyp (type_of (read \"%s\"))"
 
    ;; === MULTIPLE FILE HANDLING ===
+
+   ;; da: this next setting added for PG 3.5.  I think the theory
+   ;; loader changed at some point: originally this setting left as
+   ;; nil would have been okay.
+   proof-cannot-reopen-processed-files  t 
    proof-shell-process-file 
    (cons
     ;; Theory loader output and verbose update() output.
diff --git a/isa/todo b/isa/todo
index bd340089..4f077524 100644
--- a/isa/todo
+++ b/isa/todo
@@ -4,6 +4,10 @@
 
 See also ../todo for generic things to do, priority codes.
 
+See also ../isar/todo.  Isar is now main instance for PG, this
+instance less supported.
+
+
 ** D Isabelle: I think show_sorts -> show_types, how can we reflect this ?
 
 ** D Fix mode naming for Isabelle