1 files changed, 2 insertions, 0 deletions
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.