Urgent fix for multiple files wanted.

1 files changed, 5 insertions, 0 deletions

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.