maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.