Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. post-release updates;
  2. merged
  3. Added tag Isabelle2024 for changeset 29f2b8ff84f3
  4. proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
  5. provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
  6. update to naproche-20240519;
  7. proper formatting;
  8. more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
Changeset 80185:455b58d356c5 by wenzelm:
post-release updates;
The file was modified .hgtags
The file was modified Admin/Release/official
Changeset 80184:9f2c40da6690 by wenzelm:
merged
Changeset 80183:5a9f168982b2 by wenzelm:
Added tag Isabelle2024 for changeset 29f2b8ff84f3
The file was modified .hgtags
Changeset 80182: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
Changeset 80181: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
The file was modified src/Pure/Admin/component_scala.scala
Changeset 80180:e83b1489f4f2 by wenzelm:
update to naproche-20240519;
The file was modified Admin/components/bundled
The file was modified Admin/components/components.sha1
Changeset 80179:af65029b6b82 by wenzelm:
proper formatting;
The file was modified src/Doc/System/Sessions.thy
Changeset 80178:438d583ab378 by wenzelm:
more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
The file was modified NEWS
The file was modified src/Doc/System/Environment.thy
The file was modified src/Doc/System/Sessions.thy