# HG changeset patch # User wenzelm # Date 1345195437 -7200 # Node ID 574042d14fd98aa45ff66e889b7ca29f5e6a419c # Parent 94bb87ef712753ae0980f154a9b0ae01d81ab059 tuned; diff -r 94bb87ef7127 -r 574042d14fd9 Admin/README --- a/Admin/README Fri Aug 17 11:20:18 2012 +0200 +++ b/Admin/README Fri Aug 17 11:23:57 2012 +0200 @@ -1,2 +1,2 @@ -This directory contains some administrative tools for the Isabelle -repository at TUM. They do not appear in proper distributions. +This directory contains some administrative tools for clones of the +Isabelle repository. They do not appear in proper distributions.