Update names to match thesis.

clarified "isabelle build_polyml": download and build everything for current…

no view_document after build: avoid loss of focus, especially in "auto build"…

build only if required, view only after proper build: thus avoid pointless…

tuned message;

clarified modules;

maintain document_output meta data;

clarified modules;

more logging;

avoid redundant SelectionChanged events;

proper components base, following "isabelle components -I": downloaded…

proper symbolic handle on component resources (see Isabelle/3eb3de867786);

proper symbolic handle on component resources:

more robust on Windows, where C:\\ and \\SERVER\SHARE cause problems (line 920…

More of Manuel's material, and some changes

clarified message: old-style log is usually empty;

less verbosity by default, notably for regular "isabelle build -o document";

clarified messages, notably for session "Intro";

more general program start message;

merged

isabelle update -u cite -l "";

clarified terminology of inlined "PROGRAM START" messages;

clarified GUI;

less ambitious parallelism: avoid exhaustion of memory (40GB total);

clarified GUI: omit pointless search buttons, as real output is shown as markup;

more uniform use of Symbol.output, even in situations where its Symbol.encode…

merged

More new material thanks to Manuel

merged

tuning

alternate AFP tests on lrzcloud2, to fit better into one day;

more realistic timeout, based on CPU time;

adapted to Isabelle/9a60c1759543;

more realistic timeout, based on CPU time;

merged

support document preparation from already loaded theories;

clarified GUIs: keep related buttons together;

clarified GUI events;

clarified GUI events: ensure fresh output when switching pages;

proper program name, e.g. for session "Intro";

clarified GUI events: reset everything on session context switch;

clarified GUI events;

clarified GUI: avoid odd jumping pages on "Cancel";

more accurate output: avoid output_body from last run;

more accurate output: avoid output_main from last run;

clarified guard: avoid spurious auto builds;

removed unused operation from 3f50b24909df;

more accurate Word.capitalize: do not touch name;

automatically build document when selected theories are finished;

removed obsolete parameter (see 7c23db6b857b);

clarified signature: prefer semantic status;

defer build until document nodes are ready;

more operations;

clarified Document_Editor.Session: more explicit types, more robust operations;

clarified operation (without change of signature!);

pointless

Lots more new material thanks to Manuel Eberl

fixed looping proofs

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