From 4920601b0e487df1b3431fde1027a99348802cf5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Nov 2007 21:58:00 +0000
Subject: Versions

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

diff --git a/isar/README b/isar/README
index 7b4a3467..d6761aaf 100644
--- a/isar/README
+++ b/isar/README
@@ -7,7 +7,7 @@ Contributions from David von Oheimb, Stefan Berghofer,
 
 Status:		    supported
 Maintainers:	    David Aspinall, Stefan Berghofer
-Isabelle versions:  Isabelle2004
+Isabelle versions:  Isabelle2007, Isabelle2005
 Isabelle homepage:  http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
 Isar homepage:	    http://isabelle.in.tum.de/Isar/
 
-- 
cgit v1.2.3