Added proof-rsh-command to help complete documentation (was allocated

to tms but he said he wouldn't get around to it)

1 files changed, 0 insertions, 3 deletions

diff --git a/todo b/todo
index 2646ce38..0a8c3076 100644
--- a/todo
+++ b/todo
@@ -149,9 +149,6 @@ C proof-find-next-terminator doesn't work properly:
      bug. Perhaps just use new implementation of
      proof-assert-until-point (30min)
 
-B Add proof-rsh-command and note in documentation about how to
-  use widely-advertised "remote shell" feature.  (1hr tms)
-
 B 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