clarified Document_Editor.Session: more explicit types, more robust operations; eliminated await_stable_snapshot in favour of delay_build;

more operations;

clarified operation (without change of signature!);

pointless

Lots more new material thanks to Manuel Eberl

merged

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

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 on virtual nodes;

merged

removed somewhat pointless support for Jenkins log files: it has stopped working long ago;

more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";

tuned signature;

more operations;

obsolete (see also d547173212d2);

clarified names to emphasize suble differences in meaning;

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

unused (see 378bb7a739c3);

more options to manage resolved components;

proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);

tuned comments;

tuned;

clarified signature: more explicit types; scale chart output, instead of stored data;

more operations;

tuned;

clarified signature: more robust field_scale;

clarified signature: more explicit types;

clarified signature;

tuned;

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

more explicit types;

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 of Java/Scala string composition;

back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;

Restored antiquotation.

tuned whitespace

merged

added lemma multpHO_plus_plus[simp]

Shortened a messy proof

Moved in some material from the AFP entry Winding_number_eval

merged

tuned messages: less verbosity;

prefer Other_Isabelle.init instead of adhoc scripts;

tuned message, following "isabelle components -a";

clean components more accurately: purge other platforms or archives;