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

1 files changed, 4 insertions, 0 deletions

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