--- a/Admin/Release/CHECKLIST Tue Jan 07 15:28:11 2025 +0100
+++ b/Admin/Release/CHECKLIST Tue Jan 07 20:32:15 2025 +0100
@@ -78,19 +78,19 @@
- regular packaging:
#on fast Linux machine, with access to build_host for each platform
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2024 -j2 -l
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2025 -j2 -l
- Docker image:
- isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024 Isabelle2024_linux.tar.gz
- isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_X11_Latex -P X11 -P latex Isabelle2024_linux.tar.gz
+ isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025 Isabelle2025_linux.tar.gz
+ isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_X11_Latex -P X11 -P latex Isabelle2025_linux.tar.gz
- isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM Isabelle2024_linux_arm.tar.gz
- isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM_X11_Latex -P X11 -P latex Isabelle2024_linux_arm.tar.gz
+ isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_ARM Isabelle2025_linux_arm.tar.gz
+ isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2025_ARM_X11_Latex -P X11 -P latex Isabelle2025_linux_arm.tar.gz
docker login
- docker push makarius/isabelle:Isabelle2024
+ docker push makarius/isabelle:Isabelle2025
docker tag ... latest
docker push makarius/isabelle:latest
--- a/src/Doc/JEdit/JEdit.thy Tue Jan 07 15:28:11 2025 +0100
+++ b/src/Doc/JEdit/JEdit.thy Tue Jan 07 20:32:15 2025 +0100
@@ -304,7 +304,7 @@
The \<^verbatim>\<open>-n\<close> option reports the server name, and the \<^verbatim>\<open>-s\<close> option provides a
different server name. The default server name is the official distribution
- name (e.g.\ \<^verbatim>\<open>Isabelle2024\<close>). Thus @{tool jedit_client} can connect to the
+ name (e.g.\ \<^verbatim>\<open>Isabelle2025\<close>). Thus @{tool jedit_client} can connect to the
Isabelle desktop application without further options.
The \<^verbatim>\<open>-p\<close> option allows to override the implicit default of the system
--- a/src/Doc/System/Environment.thy Tue Jan 07 15:28:11 2025 +0100
+++ b/src/Doc/System/Environment.thy Tue Jan 07 20:32:15 2025 +0100
@@ -56,7 +56,7 @@
\<^enum> The file \<^path>\<open>$ISABELLE_HOME_USER/etc/settings\<close> (if it
exists) is run in the same way as the site default settings. Note that the
variable @{setting ISABELLE_HOME_USER} has already been set before ---
- usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2024\<close>.
+ usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2025\<close>.
Thus individual users may override the site-wide defaults. Typically, a
user settings file contains only a few lines, with some assignments that
@@ -135,7 +135,7 @@
of the @{executable isabelle} executable.
\<^descr>[@{setting_def ISABELLE_IDENTIFIER}\<open>\<^sup>*\<close>] refers to the name of this
- Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2024\<close>''.
+ Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2025\<close>''.
\<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def
ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\<open>\<^sup>*\<close>]
--- a/src/Doc/System/Misc.thy Tue Jan 07 15:28:11 2025 +0100
+++ b/src/Doc/System/Misc.thy Tue Jan 07 20:32:15 2025 +0100
@@ -71,7 +71,7 @@
\<^medskip>
Option \<^verbatim>\<open>-B\<close> specifies the Docker image taken as starting point for the
Isabelle installation: it needs to be a suitable version of Ubuntu Linux,
- see also \<^url>\<open>https://hub.docker.com/_/ubuntu\<close>. The default for Isabelle2024
+ see also \<^url>\<open>https://hub.docker.com/_/ubuntu\<close>. The default for Isabelle2025
is \<^verbatim>\<open>ubuntu:22.04\<close>, but \<^verbatim>\<open>ubuntu:20.04\<close> and \<^verbatim>\<open>ubuntu:24.04\<close> should work as
well. Other versions might require experimentation with the package
selection.
@@ -107,22 +107,22 @@
Produce a Dockerfile (without image) from a remote Isabelle distribution:
@{verbatim [display]
\<open> isabelle docker_build -E -n -o Dockerfile
- https://isabelle.in.tum.de/website-Isabelle2024/dist/Isabelle2024_linux.tar.gz\<close>}
+ https://isabelle.in.tum.de/website-Isabelle2025/dist/Isabelle2025_linux.tar.gz\<close>}
Build a standard Isabelle Docker image from a local Isabelle distribution,
with \<^verbatim>\<open>bin/isabelle\<close> as executable entry point:
@{verbatim [display]
-\<open> isabelle docker_build -E -t test/isabelle:Isabelle2024 Isabelle2024_linux.tar.gz\<close>}
+\<open> isabelle docker_build -E -t test/isabelle:Isabelle2025 Isabelle2025_linux.tar.gz\<close>}
Invoke the raw Isabelle/ML process within that image:
@{verbatim [display]
-\<open> docker run test/isabelle:Isabelle2024 process -e "Session.welcome ()"\<close>}
+\<open> docker run test/isabelle:Isabelle2025 process -e "Session.welcome ()"\<close>}
Invoke a Linux command-line tool within the contained Isabelle system
environment:
@{verbatim [display]
-\<open> docker run test/isabelle:Isabelle2024 env uname -a\<close>}
+\<open> docker run test/isabelle:Isabelle2025 env uname -a\<close>}
The latter should always report a Linux operating system, even when running
on Windows or macOS.
\<close>
@@ -455,7 +455,7 @@
\<^medskip>
The default is to output the Isabelle distribution name, e.g.\
- ``\<^verbatim>\<open>Isabelle2024\<close>''.
+ ``\<^verbatim>\<open>Isabelle2025\<close>''.
\<^medskip>
Option \<^verbatim>\<open>-i\<close> produces a short identification derived from the Mercurial id