tuned: prefer Thm_Name operations;

tuned;

prefer dynamic position from command transaction;

tuned signature;

clarified signature: more explicit preprocessing;

clarified signature: separate formal context from exported theory_name;

tuned signature: just one ZThm is sufficient;

renamed lemmas

build manager: echo error messages to server output;

omit showing previous failures for user builds;

always handle interrupted jobs;

add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware;

clarified context: operations now in build process;

clarified: add explicit build process;

remove unnecessary subdir;

tuned;

tuned proof: avoid smt/z3 to make this work with arm64-linux;

proper afp_directory (amending 9308bc5f65d6);

clarified names;

clarified name: avoid clash with Library.Update;

clarified signature;

tuned whitespace;

clarified signature;

merged

more informative ZBox;

more operations;

tuned signature;

tuned;

tuned signature;

remove unused (see also 04214caeb9ac);