Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. pretty-printing: merge multiple indexed facts of the same name
  2. disable Isabelle/Naproche after release;
  3. post-release updates;
  4. merged
  5. Added tag Isabelle2024 for changeset 29f2b8ff84f3
  6. proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
  7. provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
  8. update to naproche-20240519;
  9. proper formatting;
  10. more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
  11. More binomial material
  12. syntax of gchoose now the same as choose
Changeset 80914:ded886f668ec by nipkow:
pretty-printing: merge multiple indexed facts of the same name
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)
Changeset 80913:f895ad113d80 by wenzelm:
disable Isabelle/Naproche after release;
The file was modified Admin/components/bundled (diff)
Changeset 80912:455b58d356c5 by wenzelm:
post-release updates;
The file was modified .hgtags (diff)
The file was modified Admin/Release/official (diff)
Changeset 80911:9f2c40da6690 by wenzelm:
merged
Changeset 80910:5a9f168982b2 by wenzelm:
Added tag Isabelle2024 for changeset 29f2b8ff84f3
The file was modified .hgtags (diff)
Changeset 80909:29f2b8ff84f3 by wenzelm:
proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 80908:aa92c0f96036 by wenzelm:
provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/component_scala.scala (diff)
Changeset 80907:e83b1489f4f2 by wenzelm:
update to naproche-20240519;
The file was modified Admin/components/bundled (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 80906:af65029b6b82 by wenzelm:
proper formatting;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 80905:438d583ab378 by wenzelm:
more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 80904:1478555580af by paulson _lp15@cam.ac.uk_:
More binomial material
The file was addedsrc/HOL/Binomial_Plus.thy
The file was modified src/HOL/Complex_Main.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 80903:7fefa7839ac6 by paulson _lp15@cam.ac.uk_:
syntax of gchoose now the same as choose
The file was modified src/HOL/Binomial.thy (diff)