added proof-shell-exit test description

1 files changed, 8 insertions, 0 deletions

diff --git a/etc/TESTS b/etc/TESTS
index 11e260d2..9510b9c0 100644
--- a/etc/TESTS
+++ b/etc/TESTS
@@ -45,6 +45,14 @@ Some test cases for Proof General.
   FIXME: Using C-x C-v to revert to saved version doesn't
   seem to work because it renames the buffer or something.
 
+16.12.98 KILLING THE PROOF PROCESS
+==================================
+
+  Process some proof script buffer. Invoke 
+
+    M-x proof-shell-exit
+
+  Process should exit cleanly.