From 0c8ecb6a379b1594c7864d96e5a33ff1c1a6442b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 13:43:03 +0000
Subject: Name of proof-shell-restart was changed.

---
 etc/lego/multiple/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/lego/multiple')

diff --git a/etc/lego/multiple/README b/etc/lego/multiple/README
index 8b8ed79b..11f2152a 100644
--- a/etc/lego/multiple/README
+++ b/etc/lego/multiple/README
@@ -29,5 +29,5 @@ Test Protocol
 14) assert B                  EFFECTS A* B* C  D?
 15) assert C                  EFFECTS A* B* C* D?
 16) retract to middle of B    EFFECTS A* B+ C  D?
-14) M-x proof-restart-script  EFFECTS A  B  C  D
+14) M-x proof-shell-restart   EFFECTS A  B  C  D
 
-- 
cgit v1.2.3