tuned;
authorwenzelm
Fri Aug 17 11:23:57 2012 +0200 (2012-08-17)
changeset 48835574042d14fd9
parent 48834 94bb87ef7127
child 48836 90a0af19004c
tuned;
Admin/README
     1.1 --- a/Admin/README	Fri Aug 17 11:20:18 2012 +0200
     1.2 +++ b/Admin/README	Fri Aug 17 11:23:57 2012 +0200
     1.3 @@ -1,2 +1,2 @@
     1.4 -This directory contains some administrative tools for the Isabelle
     1.5 -repository at TUM.  They do not appear in proper distributions.
     1.6 +This directory contains some administrative tools for clones of the
     1.7 +Isabelle repository.  They do not appear in proper distributions.