# HG changeset patch # User wenzelm # Date 916851559 -3600 # Node ID 345c0fb3e628d80b262e4871bd4ff53fa59ece36 # Parent 00f3324048a792fc9bedac717a651628efe9ef34 http://isabelle.in.tum.de/dist/; diff -r 00f3324048a7 -r 345c0fb3e628 Admin/index.html --- a/Admin/index.html Wed Jan 20 10:33:34 1999 +0100 +++ b/Admin/index.html Wed Jan 20 17:59:19 1999 +0100 @@ -27,9 +27,7 @@