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