isabelle: Admin/README@8d6b03eef9c9 (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
ac88d5db1768 some administrative tools for the Isabelle; wenzelm parents: diff changeset	5	repository at TUM. They do not appear in public distributions.