Updated with further issues raised by ever eager Munich folk.

1 files changed, 5 insertions, 0 deletions

diff --git a/todo b/todo
index 1d34e77a..e18ea811 100644
--- a/todo
+++ b/todo
@@ -51,6 +51,11 @@ re-enabled), proof-toggle-scripting, new configuration options.
     - Fix sentinel infinite loop bug
     - noticeable delay when loading ML files for Isabelle (fontification?)
 
+A Isabelle (and perhaps other prover) multiple file problem: 
+  add configuration setting proof-shell-inform-file-processed-command,
+  and send *retract* action when reactivating scripting in a previously
+  full buffer, but don't actually unlock there.  
+
 A Nested error problem:  conceptually, activate scripting should fail
   if the hook function which causes loading of more files (for isabelle)
   fails.  Maybe fix by adding a new piece of state: