From 382b96de574d6f27058919a5cadd1edc3cb050ad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 16:45:54 +0000
Subject: Note about proof-restart-script

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

diff --git a/todo b/todo
index 194ff4dc..6ced93e4 100644
--- a/todo
+++ b/todo
@@ -40,6 +40,8 @@ B Add proof-rsh-command and note in documentation about how to
 
 D Add proof-quit-command: some provers may like a quit command to be
   sent to the shell, not just EOF !  (see proof-stop-shell).
+  Also reconcile proof-restart-script and proof-stop-shell, see
+  comments in code.
 
 D Multiple files (after basic feature added): handle failures in
   reading ancestors.
-- 
cgit v1.2.3