From 00310086034b2836dc394166dc4569c71e7fa439 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 12:37:33 +0000
Subject: Updated.

---
 isar/README | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/isar/README b/isar/README
index 7f63c136..e4415d03 100644
--- a/isar/README
+++ b/isar/README
@@ -1,14 +1,17 @@
 Isabelle/Isar Proof General
 
-Written by Markus Wenzel
+Written by Markus Wenzel and David Aspinall.
 
-Status:		   supported
-Maintainer:	   David Aspinall
-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/
+Contributions from David von Oheimb, Stefan Berghofer, 
+		   Sebastian Skalberg, Gerwin Klein.
 
-========================================
+Status:		    supported
+Maintainers:	    David Aspinall, Stefan Berghofer
+Isabelle versions:  Isabelle2004
+Isabelle homepage:  http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
+Isar homepage:	    http://isabelle.in.tum.de/Isar/
+
+===========================================================================
 
 Isabelle/Isar Proof General has full support for multiple file
 scripting, with dependencies between theories communicated between
-- 
cgit v1.2.3