more direct unlimited smt_timeout;
update of certificates: generated command-line options are part of input / digest;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.