tuned: more direct Isabelle/ML;

clarified modules;

more accurate thm "name_hint", using Thm_Name.T;

more operationsd;

tuned;

more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);

clarified signature;

clarified output, following Consumer_Thread.failure;

more informative exception output, with optional trace;

more accurate output of Thm_Name.T wrt. facts name space;

clarified signature: more operations;

tuned structure;

tuned;

more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name;

clarified signature: prefer explicit operation;

clarified signature;

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);

tuned signature;

add triggers to ci jobs: on commit vs timed;

manage components of ci builds;

use external CSS for build manager page;

more build manager page;

more page elements;

web app: add automatic resize;

ensure permissions when starting build task (e.g., due to misconfigured client);

add verbose option to build_task;

tuned;

build manager: manage directories/permissions, to minimize local administration;

read prefs properly;

allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);

web app: proper document height;

merged

replace manual def. of timing function

add build manager module;

support ci job via hg_sync (cf. 7883f221d6d3);

tuned;

use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);

merged

Simplification of sin, cos, exp of multiples of pi

minor performance tuning: more compact data;

removed unused/inefficient size_of_proof (see also 2241191a3c54);

tuned;

more robust: avoid crash of sleep() for negative time;

clarified signature;

clarified signature: more explicit types;

support "rsync --chmod --chown" via Rsync.Context;

tuned;

bash: proper bash_process via SSH; getenv: prefer light-weight ssh.execute;

clarified signature: support explicit cwd;

support bash via SSH;

clarified comments;

proper support for remote cwd;

clarified context for (remote) bash scripts: export variables are optional, support cwd;

more operations for SSH.System: bash_process and bash;

unused;

clarified signature: prefer symbolic isabelle.Path over physical java.io.File;

minor performance tuning;

merged

minor performance tuning: save approx. 70ms per SSH command;

minor performance tuning: save approx. 70ms per SSH command;

minor performance tuning: save approx. 70ms per SSH test command;

suport Isabelle_System.bash via SSH.System;

more operations;

tuned;

clarified signature;

clarified signature;

obsolete: macOS 10.x is no longer supported (see also 059743bc8311);