clarified setup_repository: more uniform pull vs. clone, without update;

proper setup of fresh repository;

clarified prover-specific rules

dropped potentially explosive rule for groebner simpset, with no observable effect on examples

simplified fact references

avoid effectively subsumed rules; simplified fact reference

eliminated irregular aliasses

avoid references to lemmas designed for prover tools

clarified theorem names

eliminated irregular aliasses

more standardized theorem names for facts involving the div and mod identity

transfer rules for divides relation on integer and natural

more standardized names

added lemma

de-orphanized declaration

tuned;

discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;

timeout as in former isatest-makeall;

more robust quasi-unique name;

clarified signature: more static types;

clarified hg.id operation, with explicit tip as default;

added remote_build_history tasks: parallel on several remote hosts; isabelle_identify: use self repos for robustness; more logger context: options and ssh; setup repository clones on demand; clarified target repositories;

added setup_repository; clarified root: expanded in target environment;

more operations;

expand relatively to given environment, notably remote HOME;

tuned;

tuned signature;

tuned;

clarified treatment of non-text bytes;

remove invocation of build_history: results are reported via stdout;