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