Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
  2. update to current long-term-support version dotnet-8.0.x;
  3. merged
  4. proper release bundle_name (amending 0e7dd3eaa6e8);
  5. more multiset lemmas
  6. optional cartouche syntax and proper name printing in atp Isar output
  7. merged
  8. removed unused variable
  9. 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 (diff)
Changeset 79803:33c93008db03 by wenzelm:
update to current long-term-support version dotnet-8.0.x;
The file was modified NEWS (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
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 (diff)
Changeset 79800:abb5e57c92a7 by blanchet:
more multiset lemmas
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
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 (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick_scope.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick_util.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML (diff)
The file was modified src/HOL/ex/Sketch_and_Explore.thy (diff)
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 (diff)
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 (diff)