From 328e653f123a71b43062a4bbc81cc503f60a0487 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 19 Sep 2000 09:41:52 +0000
Subject: Isabelle version: 99-1;

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

diff --git a/isa/README b/isa/README
index 83e13d13..ef43f82a 100644
--- a/isa/README
+++ b/isa/README
@@ -7,7 +7,7 @@ $Id$
 
 Status:		   supported
 Maintainer:	   David Aspinall
-Isabelle version:  99
+Isabelle version:  99-1
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ========================================
-- 
cgit v1.2.3