From d2a785370e33b82d31e23b4564aa1785d231a437 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 30 Aug 2001 19:41:27 +0000
Subject: updated;

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

(limited to 'isar/README')

diff --git a/isar/README b/isar/README
index c87965ce..671d0920 100644
--- a/isar/README
+++ b/isar/README
@@ -6,7 +6,7 @@ $Id$
 
 Status:		   supported
 Maintainer:	   Markus Wenzel
-Isabelle version:  99-1
+Isabelle version:  99-1, 99-2
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 Isar homepage:	   http://isabelle.in.tum.de/Isar/
 
-- 
cgit v1.2.3