From df06f5127cac0586f4b384f23821da5640d0c745 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Mon, 21 Jan 2002 20:59:50 +0000 Subject: Isabelle2002 instead of Isabelle2001; --- isar/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/README') diff --git a/isar/README b/isar/README index a3afa67b..beac6b96 100644 --- a/isar/README +++ b/isar/README @@ -4,7 +4,7 @@ Written by Markus Wenzel Status: supported Maintainer: Markus Wenzel -Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2001 +Isabelle versions: Isabelle99-1, Isabelle99-2, Isabelle2002 Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ Isar homepage: http://isabelle.in.tum.de/Isar/ -- cgit v1.2.3