From 18a0c868a649599461756650a0bde4f36503af67 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 23:35:52 +0000
Subject: Updated.

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

(limited to 'isar')

diff --git a/isar/README b/isar/README
index 16a2c310..4f5da8b9 100644
--- a/isar/README
+++ b/isar/README
@@ -3,7 +3,7 @@ Isabelle/Isar Proof General
 Written by Markus Wenzel and David Aspinall.
 
 Contributions from David von Oheimb, Stefan Berghofer, 
-		   Sebastian Skalberg, Gerwin Klein.
+ Sebastian Skalberg, Gerwin Klein, Tjark Weber.
 
 Status:		    supported
 Maintainers:	    David Aspinall, Makarius Wenzel, Stefan Berghofer
-- 
cgit v1.2.3