From d4950c124d4fdd3f215da8ef997dde46d324363a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 Dec 2001 15:55:45 +0000
Subject: updated;

---
 isa/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isa')

diff --git a/isa/README b/isa/README
index 4bd521e2..24f09428 100644
--- a/isa/README
+++ b/isa/README
@@ -5,7 +5,7 @@ Markus Wenzel and David von Oheimb.
 
 Status:		   supported
 Maintainer:	   David Aspinall
-Isabelle version:  99-1, 99-2
+Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ========================================
-- 
cgit v1.2.3