Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
update to current long-term-support version dotnet-8.0.x;
merged
proper release bundle_name (amending 0e7dd3eaa6e8);
more multiset lemmas
optional cartouche syntax and proper name printing in atp Isar output
merged
removed unused variable
added virtual, greedy portfolio for E 3.0

Changeset 79804:1f7dcfdb3e67 by wenzelm: revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
The file was modified	`NEWS`
Changeset 79803:33c93008db03 by wenzelm: update to current long-term-support version dotnet-8.0.x;
The file was modified	`NEWS`
The file was modified	`src/Pure/Tools/dotnet_setup.scala`
Changeset 79802:0082387e4830 by wenzelm: merged
Changeset 79801:60dd45996a6b by wenzelm: proper release bundle_name (amending 0e7dd3eaa6e8);
The file was modified	`src/Pure/Admin/build_release.scala`
Changeset 79800:abb5e57c92a7 by blanchet: more multiset lemmas
The file was modified	`src/HOL/Finite_Set.thy`
The file was modified	`src/HOL/Library/Multiset.thy`
The file was modified	`src/HOL/Library/Multiset_Order.thy`
Changeset 79799:2746dfc9ceae by simon wimmer _wimmers@in.tum.de_: optional cartouche syntax and proper name printing in atp Isar output
The file was modified	`src/HOL/Tools/ATP/atp_util.ML`
The file was modified	`src/HOL/Tools/Nitpick/nitpick.ML`
The file was modified	`src/HOL/Tools/Nitpick/nitpick_scope.ML`
The file was modified	`src/HOL/Tools/Nitpick/nitpick_util.ML`
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML`
The file was modified	`src/HOL/ex/Sketch_and_Explore.thy`
Changeset 79798:384d6d48a7d3 by desharna: merged
Changeset 79797:dd4e532a0d44 by desharna: removed unused variable
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML`
Changeset 79796:db72d9920186 by desharna: added virtual, greedy portfolio for E 3.0
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML`

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

more accurate timeout; tuned whitespace;
move multiset lemmas into distro

Changeset 14092:845e35e9d4ad by wenzelm: more accurate timeout;<br>tuned whitespace;
The file was modified	`thys/OmegaCatoidsQuantales/ROOT`
Changeset 14091:0f6985e3c821 by blanchet: move multiset lemmas into distro
The file was modified	`thys/Lambda_Free_RPOs/Extension_Orders.thy`
The file was modified	`thys/Lambda_Free_RPOs/Lambda_Free_Util.thy`
The file was modified	`thys/Pratt_Certificate/Pratt_Certificate.thy`