Moved in a large number of highly useful library lemmas, mostly due to Manuel…

merged

observe option "show_states" in headless server (see also 951abf9db857);

text correction

enable clean_components by default: it saves a lot of local disk space, notably…

merged

more uniform components context for the managing "self_isabelle" and the…

removed somewhat pointless support for Jenkins log files: it has stopped…

tuned signature;

obsolete (see also d547173212d2);

more operations;

clarified names to emphasize suble differences in meaning;

unused (see 378bb7a739c3);

prefer high-level Other_Isabelle.bash over low-level SSH.execute;

more options to manage resolved components;

tuned comments;

proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle…

tuned;

clarified signature: more explicit types;

more operations;

tuned;

clarified signature;

tuned;

clarified signature: more robust field_scale;

clarified signature: more explicit types;

more explicit types;

support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;

prefer typed/strict operations;

tuned message;

prefer strict operation: java.io.File.length returns 0 for non-existent file;

prefer typed bytes count, but retain toString of original Long for robustness…

back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning…

dropped reference to dead clone

modernized

removed dead clone

Modernized.

More instances.

Tuned whitespace.

More correct references.

Updated references.

Restored antiquotation.

tuned whitespace

Removed a bit of unnecessary material

merged

added lemma multpHO_plus_plus[simp]

merged

Shortened several messy proofs

Shortened a messy proof

Fix name clash in Frequency_Moments.

Fixed a name clash

Moving more material to the distribution

Moving some material to the main repository

Moved in some material from the AFP entry Winding_number_eval

merged

tuned messages: less verbosity;

tuned message, following "isabelle components -a";

prefer Other_Isabelle.init instead of adhoc scripts;

clean components more accurately: purge other platforms or archives;

more operations for SSH.System;

clarified signature;

manage other Isabelle distributions via SSH;

tuned;

more operations for SSH.System;

recovered option -C from 092449efcb0e (still required for isabelle_cronjob.

clarified parameters (again);

Some new material from the AFP

clarified defaults: imitate "isabelle components -I" without further parameters;

tuned;

merged

more robust locations (amending 7e11e96a922d) --- notably for cleanup() in…

tuned;

clarified defaults (see also b310b93563f6);

tuned comments;

more formal Other_Isabelle.settings, with derived expand_path / bash_path;

tuned;

clarified signature: minimal interface for getenv/expand_env, instead of bulky…

discontinued adhoc change of environment (from 897f1ac84aab), following ssh…

discontinued adhoc change of environment (from c62b99e3ec07), which has been…

removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);

more operations;

more robust and uniform Other_Isabelle.scala_build;

tuned;

more robust: self-contained Other_Isabelle.isabelle_home;

tuned;

tuned message;

more robust (see also 7f55a3e28c88): resolve components from current Isabelle…

more strict;

tuned signature;

proper ssh.bash_path;

adapted to db93f67a;

merged

added lemma irreflp_on_multpHO[simp]

added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and…

Beautifying an old entry

merge from afp-2022

new entry HoareForDivergence

merged

metadata for Suppes' theorem + sitegen

new entry: Suppes' Theorem

metadat for StrictOmegaCategories