--- a/Admin/page/DISTNAME Fri Apr 22 01:38:13 2005 +0200 +++ b/Admin/page/DISTNAME Fri Apr 22 01:48:08 2005 +0200 @@ -1,1 +1,1 @@ -Isabelle-internal +Isabelle2004