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