Admin/README

* Pure/Syntax: In schematic variable names, *any* symbol following
\<^isub> or \<^isup> is now treated as part of the base name;

$Id$

This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in public distributions.