From 03d5d3d06ff645d9cd3d8caaf5335e94a11764cb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 May 2009 16:18:28 +0000
Subject: Update version, latest only.

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

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