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 +-
 etc/lego/multiple/README | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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:
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