From b59d36bf1fceaa9e8529179b2eccc2996bffd24b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 16:29:13 +0000
Subject: Fixed multiple file bug

---
 etc/isa/multiple/README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README
index 0ea75fcc..31b43da4 100644
--- a/etc/isa/multiple/README
+++ b/etc/isa/multiple/README
@@ -44,8 +44,8 @@ to ML files of autoloaded children.
 
 1) visit example.ML, example.thy       EFFECT: ML thy
 2) assert .ML			       EFFECT: ML* thy*
-3) retract thy			       EFFECT: ML thy     (29.10.98 BREAKS!)
-							    get ML*
+3) retract thy			       EFFECT: ML thy
+
 
 1) visit example.ML, example.thy       ML thy
 2) assert thy			       ML thy*  (29.10.98: works, but 
-- 
cgit v1.2.3