discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.