Added new test/comments.

1 files changed, 20 insertions, 0 deletions

diff --git a/etc/TESTS b/etc/TESTS
index a5936b05..11e260d2 100644
--- a/etc/TESTS
+++ b/etc/TESTS
@@ -25,6 +25,26 @@ Some test cases for Proof General.
   Exit emacs.  Should query whether we want to save these
   scripting buffers (maybe XEmacs only).
 
+11.12.98  RUDELY KILLING THE ACTIVE SCRIPTING BUFFER
+====================================================
+
+  Start scripting with some buffer, after
+  having processed another buffer.
+
+  Kill it when scripting is only partly finished.
+
+  Scripting should be cleanly turned off and it
+  should be possible to resume retraction in the 
+  first buffer.
+
+  Moreover, this ensures that if the file is on the included
+  files list, yet has been only partly processed (e.g. because
+  Undo steps were taken), then it will be retracted and
+  removed from the included files list.
+
+  FIXME: Using C-x C-v to revert to saved version doesn't
+  seem to work because it renames the buffer or something.
+