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