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

tuned tmp name;

tuned;

tuned;

tuned comments;

merged

pretty-printing sledgehammer command: merge indexed theorems

clarify routes: absolute in api and relative for frontend;

add auto-reload for more interactive web apps;

clarified web app endpoints;

proper html script tag: source code must not be escaped;

add explicit Content-Length header to http response (otherwise it is missing in HEAD responses);

add HEAD to http server: should send same header fields as if request was GET;

tuned;

tuned spelling;

support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");

clarified signature;

more general dirs for Sync.sync;

tuned whitespace (amending beb4ee344c22);

clarified signature (see also be0ab4b94c62 and c41791ad75c3);

tuned;

clarified signature;

tuned names;

proper SSH.System operation;

clarified modules;

more uniform/robust detect_repository/is_repository: actually check hg root;

more uniform local/remote operations;

disable Isabelle/Naproche after release;

post-release updates;

merged

Added tag Isabelle2024 for changeset 29f2b8ff84f3

proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);

provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;

update to naproche-20240519;

proper formatting;

more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";

More binomial material

syntax of gchoose now the same as choose

Some new simprules – and patches for proofs

merged

merged

A little more tidying in Nominal

tuned proofs; tuned whitespace;

merged, resoving conflicts in src/HOL/Nominal/Nominal.thy;