1.1 --- a/Admin/README Wed May 12 13:52:34 2010 +0200
1.2 +++ b/Admin/README Wed May 12 13:54:49 2010 +0200
1.3 @@ -1,5 +1,2 @@
1.4 -
1.5 -$Id$
1.6 -
1.7 This directory contains some administrative tools for the Isabelle
1.8 repository at TUM. They do not appear in proper distributions.