Summary
- disable Isabelle/Naproche after release;
- post-release updates;
- merged
- Added tag Isabelle2024 for changeset 29f2b8ff84f3
- proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
- provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version;
- update to naproche-20240519;
- proper formatting;
- more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster";
The file was modified | Admin/components/bundled (diff) |
The file was modified | .hgtags (diff) |
The file was modified | Admin/Release/official (diff) |
The file was modified | .hgtags (diff) |
The file was modified | src/Pure/Tools/update.scala (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | src/Pure/Admin/component_scala.scala (diff) |
The file was modified | Admin/components/bundled (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | src/Doc/System/Sessions.thy (diff) |
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) |