wenzelm@2662: This directory contains some administrative tools for the Isabelle
wenzelm@27635: repository at TUM.  They do not appear in proper distributions.