clarified signature;

clarified signature;

clarified signature;

minor performance tuning;

tuned: more standard order;

clarified signature;

proper fontenc for cartouches (amending d052d61da398);

clarified modules;

clarified modules;

clarified signature;

more robust: prefer linear data flow;

tuned;

tuned;

clarified signature;

clarified signature (again): follow Isabelle/Java/Scala;

tuned (following 69c6d3e87660);

tuned --- avoid pointless indirection (see also a2df9de46060);

merged

post-release updates;

Added tag Isabelle2023 for changeset b5f3d1051b13

tuned;

misc tuning;

documentation for the "Document" panel in Isabelle/jEdit;

clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex…

merged

more explicit type Isabelle_Thread.T;

add ML_system_pp for type Isabelle_Thread.T;

discontinue somewhat pointless thread tracing/debugging: without PIDE command…

tuned whitespace;

avoid clones of Isabelle/ML operations --- de-emphasize somewhat old/outdated…

merged

Added tag Isabelle2023-RC5 for changeset ffa417b5c913

tuned;

tuned messages;

clarified signature;

proper stop of build_process shutdown, despite errors on workers;

prefer quiet mode: potentially more robust ssh connection, e.g. when master…

support "isabelle build_process -r -f";

support "isabelle build_worker -q";

clarified signature;

clarified output;

updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more…

tuned message;

clarified signature: removed ununsed option;

more robust access to output file of external smt, notably for Windows 11…

more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on…

more robust $ISABELLE_TMP_PREFIX on windows: avoid location within Cygwin root…

more accurate documentation of record field update, following changes in…

more portable: it really is the Cygwin $HOME not the Windows $USER_HOME;

more robust: "hostname" command might be absent, notably on Arch Linux (and…

tuned whitespace;

tuned NEWS;

NEWS;

update to "scalac -source 3.3" (from 3.1);

proper pattern (amending ff86f10e54cd);

follow naming conventions of Isabelle/2a99fcb283ee;

adapted to Isabelle/fd1fec53665b;

clarified signature: prefer enum types;

discontinue special treatment of AFP: "isabelle dump" has been superseded by…

discontinue odd AFP partitioning: let Build_Cluster / Build_Engine do the job;

proper type, following Bus.event;

clarified signature;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

tuned indentation;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified signature: prefer enum types;

clarified generated Scala, for the sake of "scalac -source 3.3";

discontinue old Java 11 LTS;

misc tuning: support "scalac -source 3.3";

obsolete (see b4e6b82fdb9e);

merged

update for release;

Added tag Isabelle2023-RC4 for changeset 12aac1489f3b

minimal documentation for build cluster support;

tuned messages: avoid duplicates;

removed junk (following ab07d4cb7d1c, amending 8cd399b25dac);

more robust access to local variables;

tuned error;

tuned messages (again);