clarified errors: avoid accidental import from other session that happens to be within overall selection (notably "isabelle build -a");
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.