1 This directory contains some administrative tools for clones of the
2 Isabelle repository. They do not appear in proper distributions.