diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 13:43:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 13:43:03 +0000 |
| commit | 0c8ecb6a379b1594c7864d96e5a33ff1c1a6442b (patch) | |
| tree | bbe028a7501a2b6b4708bf972333e7a296de687d | |
| parent | d94468a3f1fa9bb97cdb24508347396aa8564693 (diff) | |
Name of proof-shell-restart was changed.
| -rw-r--r-- | etc/isa/multiple/README | 2 | ||||
| -rw-r--r-- | 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 |