From b6c80626a59965cdd740a4cbf83d026215cf7d98 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 17:46:59 +0000
Subject: Urgent fix for multiple files wanted.

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

diff --git a/todo b/todo
index dc9ed26a..76c3f6e5 100644
--- a/todo
+++ b/todo
@@ -21,6 +21,11 @@ RELEASE 2.0 remaining problems:
 
 A***  Documentation polishing.
 
+A***  MULTIPLE FILES BEHAVIOUR:
+        Problems with inclusion of the script buffer file name
+        in the included files list.  Should it be there or not,
+	if the file is only partly processed?
+
 A***  BUG: FSF Emacs process handling (check on proof-shell-insert fix), 
       killing buffer problems.
 
-- 
cgit v1.2.3