merged

tuned;

clarified signature;

minor performance tuning: avoid redundant server access;

tuned;

tuned;

clarified modules and options (from store);

clarified signature;

clarified signature;

tuned signature;

tuned;

tuned;

tuned signature;

tuned;

more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);

tuned messages;

back to static numa_nodes (reverting part of c2c59de57df9);

tuned;

tuned messages;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04…

merged

avoid Scala if-expressions and thus make it work both for -new-syntax or -old…

avoid Scala if-expressions and thus make it work both for -new-syntax or -old…

proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);

adjust generated Scala to make it work with scalac -old-syntax and -new-syntax…

more portable: prefer official JDBC operation DatabaseMetaData.getColumns();

tuned signature;

proper guard to avoid spurious system messages like "### Ignored report message…

tuned: more readable;

avoid danger of exponental blowup;

tuned spelling;

avoid aliases of well-known Pure concepts, for the sake of readability;

update screenshot;

update for release;

update for release;

merged

update for release;

updated for release;

Added tag Isabelle2024-RC1 for changeset 1231a7fb2510

proper condition = ISABELLE_GOEXE, to make it work without "isabelle go_setup";

misc tuning for release;

update for release;

merged

update to stack-2.15.5, stackage-lts-22.15;

clarified names: discontinue odd convention from 3 decades ago;

further performance tuning (after f906f7f83dae): interactive mode is closer to…

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned whitespace;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

clarified signature: prefer authentic cterm used in Simplifier, avoid potential…

clarified names (see also 9c00a46d69d0, c5cd7a58cf2d);

provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;

clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that…

merged

tuned whitespace;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g.

clarified signature;

clarified modules: more official Sessions.notable_groups;

update to Isabelle/42bc8ab751c1;

rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;

tuned signature;

tuned;

tuned signature;

proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;

proper Go setup, following Isabelle/da323d3d7570;

proper "isabelle go_setup" for Jenkins;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

tuned proofs: avoid z3 to make it work on arm64-linux;

dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);

tuned message;

merged

tuned NEWS;

support for "all" platforms;

clarified signature;

remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and…

tuned;

more robust Markdown;

misc tuning;

run "isabelle components_build -u";

remove obsolete component (see 8347ffa1f92c): superseded by "isabelle go_setup";

more Setup_Tool services;

tuned order;

proper SSH operations;

clarified signature;