From d7a93cb1371f8a74b2fb7f70a5de6c4492657e0a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 21:01:37 +0000
Subject: Set supported versions of Isabelle (remove 99, 2002 versions).

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

diff --git a/isa/README b/isa/README
index eed1b7ed..01490085 100644
--- a/isa/README
+++ b/isa/README
@@ -5,7 +5,7 @@ Markus Wenzel and David von Oheimb.
 
 Status:		   supported 
 Maintainer:	   David Aspinall
-Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2002
+Isabelle versions: Isabelle2003, Isabelle2004
 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 
 ====================================================================
-- 
cgit v1.2.3