isabelle: Admin/README@587c893049e1 (annotated)

2662 ac88d5db1768 some administrative tools for the Isabelle; wenzelm parents: diff changeset	1
ac88d5db1768 some administrative tools for the Isabelle; wenzelm parents: diff changeset	2	$Id$
ac88d5db1768 some administrative tools for the Isabelle; wenzelm parents: diff changeset	3
ac88d5db1768 some administrative tools for the Isabelle; wenzelm parents: diff changeset	4	This directory contains some administrative tools for the Isabelle
27635 66fcb7e9baef tuned; wenzelm parents: 2662 diff changeset	5	repository at TUM. They do not appear in proper distributions.