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

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

(limited to 'isa')

diff --git a/isa/README b/isa/README
index ef43f82a..b59e4671 100644
--- a/isa/README
+++ b/isa/README
@@ -7,7 +7,7 @@ $Id$
 
 Status:		   supported
 Maintainer:	   David Aspinall
-Isabelle version:  99-1
+Isabelle version:  99-1, 99-2
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ========================================
@@ -26,4 +26,3 @@ There is no support for proof by pointing yet, and no tags program.
 The script `interface' and file 'interface-setup.el' are used to start
 Isabelle Proof General via the 'Isabelle' shell command.  These files
 were provided by Markus Wenzel.
-
-- 
cgit v1.2.3