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/isa/multiple/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc/isa/multiple')

diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README
index 1524efce..a50c063d 100644
--- a/etc/isa/multiple/README
+++ b/etc/isa/multiple/README
@@ -31,7 +31,7 @@ Borrowed from Thomas's lego tests:  (v 1.2)
 15) assert C                  EFFECTS A* B* C* D? [everything locked]
 16) retract to middle of B    EFFECTS A* B+ C  D?
 	BROKEN!  Now retracts whole thing.
-14) M-x proof-restart-script  EFFECTS A  B  C  D  
+14) M-x proof-shell-restart   EFFECTS A  B  C  D  
 
 
 MORE TESTS NEEDED FOR ISABELLE:
-- 
cgit v1.2.3