Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- 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 | .hgtags |
The file was modified | Admin/Release/official |
The file was modified | .hgtags |
The file was modified | src/Pure/Tools/update.scala |
The file was modified | Admin/components/components.sha1 |
The file was modified | src/Pure/Admin/component_scala.scala |
The file was modified | Admin/components/bundled |
The file was modified | Admin/components/components.sha1 |
The file was modified | src/Doc/System/Sessions.thy |
The file was modified | NEWS |
The file was modified | src/Doc/System/Environment.thy |
The file was modified | src/Doc/System/Sessions.thy |