From 24de31acb9c8cfc8f0c84efe24783f33151bbc36 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Oct 1999 14:56:33 +0000
Subject: Updated with further issues raised by ever eager Munich folk.

---
 todo | 5 +++++
 1 file changed, 5 insertions(+)

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