From 7461ed40c038d7088bc05c4a705ea5f9ee9a2c74 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 09:26:05 +0000
Subject: Generalize Isabelles atomic file scripting.

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

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