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

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…

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

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;

more elementary command-line, following lib/Tools/components;

merged

support remote operations;

clarified defaults;

more accurate options (amending 7e19dc018db9);

clarified defaults;

more modular shell script;

support remote download_file;

tuned: drop redundant "expand";

more uniform options for "curl", following lib/Tools/components;

tuned;

update to jdk-17.0.6;

avoid odd suffix in published HTML library;

proper cleanup;

tuned message;

tuned signature: avoid aliases;

tuned;

tuned signature;

clarified modules (again, in contrast to f8f065e20837);

support IPC via database server;

proper signature;

support specific connection types, for additional operations;

isabelle update -u cite;

more accurate root.bib, based on original \bibitem entries in root.tex…

proper bib context for formal citations, although there is no document;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: entry lacks .bib file;

back to unchecked \cite: there is entry lacks .bib file;

more correct and complete bibliography;

tuned;

proper position for semantic completion: avoid duplicate quotes;

tuned signature;

clarified signature;

clarified signature;

proper positions for Isabelle/ML, instead of Isabelle/Scala;

dismantle special treatment of citations in Isabelle/Scala;