Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

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