Generalize Isabelles atomic file scripting.

1 files changed, 5 insertions, 0 deletions

diff --git a/todo b/todo
index 50f615d3..8a7d640c 100644
--- a/todo
+++ b/todo
@@ -36,6 +36,11 @@ B Keybindings for processing theory in thy mode gone??
 
 ** 2. Things to in the generic interface
 
+*** B generalize from Isabelle's "atomic scripting" theory file mode
+      to allow other instances which do not allow incremental
+      processing of files in major or auxiliary file types.
+      E.g. twelf ACL2
+
 *** B Move 3.3 over to new better designed parsing function mechanism.
 
 *** D some renaming for uniformity: