From 7edf61a08bf8e300c1c15bd3c66897cee7b2f959 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 16 Dec 1998 15:12:09 +0000
Subject: added proof-shell-exit test description

---
 etc/TESTS | 8 ++++++++
 1 file changed, 8 insertions(+)

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