Admin/README
changeset 27635 66fcb7e9baef
parent 2662 ac88d5db1768
child 36859 51af1657263b
     1.1 --- a/Admin/README	Thu Jul 17 16:56:50 2008 +0200
     1.2 +++ b/Admin/README	Thu Jul 17 17:01:54 2008 +0200
     1.3 @@ -2,4 +2,4 @@
     1.4  $Id$
     1.5  
     1.6  This directory contains some administrative tools for the Isabelle
     1.7 -repository at TUM. They do not appear in public distributions.
     1.8 +repository at TUM.  They do not appear in proper distributions.