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;

clarified signature;

identify release;

prefer Isabelle standard Path;

clarified logs;

publish directly on webspace;

Jenkins: don't build in system mode

merged

cronjob: build release from repository snapshot;

more operations;

clarified file operations;