From 96256758d268277b2501fa3ad7258e87708977da Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 31 Jan 2008 23:09:14 +0000 Subject: Update maintainers to add back the key person, 8-). --- isar/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'isar/README') diff --git a/isar/README b/isar/README index d6761aaf..16a2c310 100644 --- a/isar/README +++ b/isar/README @@ -6,7 +6,7 @@ Contributions from David von Oheimb, Stefan Berghofer, Sebastian Skalberg, Gerwin Klein. Status: supported -Maintainers: David Aspinall, Stefan Berghofer +Maintainers: David Aspinall, Makarius Wenzel, Stefan Berghofer 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