# HG changeset patch # User wenzelm # Date 1662817716 -7200 # Node ID 7ce11c135dad6a419c3198d304979d72d28f31e9 # Parent 5ee70e689eb3c2e25953e723f6bba15a61f99aa6 update to Isabelle2022 and Ubuntu 22.04; diff -r 5ee70e689eb3 -r 7ce11c135dad Admin/Release/CHECKLIST --- a/Admin/Release/CHECKLIST Sat Sep 10 15:41:44 2022 +0200 +++ b/Admin/Release/CHECKLIST Sat Sep 10 15:48:36 2022 +0200 @@ -76,11 +76,11 @@ - Docker image: - isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021-1 Isabelle2021-1_linux.tar.gz + isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz docker login - docker push makarius/isabelle:Isabelle2021-1 + docker push makarius/isabelle:Isabelle2022 docker tag ... latest docker push makarius/isabelle:latest diff -r 5ee70e689eb3 -r 7ce11c135dad src/Doc/JEdit/JEdit.thy --- a/src/Doc/JEdit/JEdit.thy Sat Sep 10 15:41:44 2022 +0200 +++ b/src/Doc/JEdit/JEdit.thy Sat Sep 10 15:48:36 2022 +0200 @@ -306,7 +306,7 @@ The \<^verbatim>\-n\ option reports the server name, and the \<^verbatim>\-s\ option provides a different server name. The default server name is the official distribution - name (e.g.\ \<^verbatim>\Isabelle2021-1\). Thus @{tool jedit_client} can connect to the + name (e.g.\ \<^verbatim>\Isabelle2022\). Thus @{tool jedit_client} can connect to the Isabelle desktop application without further options. The \<^verbatim>\-p\ option allows to override the implicit default of the system diff -r 5ee70e689eb3 -r 7ce11c135dad src/Doc/System/Environment.thy --- a/src/Doc/System/Environment.thy Sat Sep 10 15:41:44 2022 +0200 +++ b/src/Doc/System/Environment.thy Sat Sep 10 15:48:36 2022 +0200 @@ -58,7 +58,7 @@ \<^enum> The file \<^path>\$ISABELLE_HOME_USER/etc/settings\ (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>\$USER_HOME/.isabelle/Isabelle2021-1\. + usually to something like \<^verbatim>\$USER_HOME/.isabelle/Isabelle2022\. Thus individual users may override the site-wide defaults. Typically, a user settings file contains only a few lines, with some assignments that @@ -137,7 +137,7 @@ of the @{executable isabelle} executable. \<^descr>[@{setting_def ISABELLE_IDENTIFIER}\\<^sup>*\] refers to the name of this - Isabelle distribution, e.g.\ ``\<^verbatim>\Isabelle2021-1\''. + Isabelle distribution, e.g.\ ``\<^verbatim>\Isabelle2022\''. \<^descr>[@{setting_def ML_SYSTEM}, @{setting_def ML_HOME}, @{setting_def ML_OPTIONS}, @{setting_def ML_PLATFORM}, @{setting_def ML_IDENTIFIER}\\<^sup>*\] diff -r 5ee70e689eb3 -r 7ce11c135dad src/Doc/System/Misc.thy --- a/src/Doc/System/Misc.thy Sat Sep 10 15:41:44 2022 +0200 +++ b/src/Doc/System/Misc.thy Sat Sep 10 15:48:36 2022 +0200 @@ -71,7 +71,7 @@ Isabelle installation: it needs to be a suitable version of Ubuntu Linux. The default \<^verbatim>\ubuntu\ refers to the latest LTS version provided by Canonical as the official Ubuntu vendor\<^footnote>\\<^url>\https://hub.docker.com/_/ubuntu\\. For - Isabelle2021-1 this should be Ubuntu 20.04 LTS. + Isabelle2022 this is normally Ubuntu 22.04 LTS. Option \<^verbatim>\-p\ includes additional Ubuntu packages, using the terminology of \<^verbatim>\apt-get install\ within the underlying Linux distribution. @@ -98,22 +98,22 @@ Produce a Dockerfile (without image) from a remote Isabelle distribution: @{verbatim [display] \ isabelle build_docker -E -n -o Dockerfile - https://isabelle.in.tum.de/website-Isabelle2021-1/dist/Isabelle2021-1_linux.tar.gz\} + https://isabelle.in.tum.de/website-Isabelle2022/dist/Isabelle2022_linux.tar.gz\} Build a standard Isabelle Docker image from a local Isabelle distribution, with \<^verbatim>\bin/isabelle\ as executable entry point: @{verbatim [display] -\ isabelle build_docker -E -t test/isabelle:Isabelle2021-1 Isabelle2021-1_linux.tar.gz\} +\ isabelle build_docker -E -t test/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz\} Invoke the raw Isabelle/ML process within that image: @{verbatim [display] -\ docker run test/isabelle:Isabelle2021-1 process -e "Session.welcome ()"\} +\ docker run test/isabelle:Isabelle2022 process -e "Session.welcome ()"\} Invoke a Linux command-line tool within the contained Isabelle system environment: @{verbatim [display] -\ docker run test/isabelle:Isabelle2021-1 env uname -a\} +\ docker run test/isabelle:Isabelle2022 env uname -a\} The latter should always report a Linux operating system, even when running on Windows or macOS. \ @@ -448,7 +448,7 @@ \<^medskip> The default is to output the full version string of the Isabelle - distribution, e.g.\ ``\<^verbatim>\Isabelle2021-1: December 2021\. + distribution, e.g.\ ``\<^verbatim>\Isabelle2022: October 2022\. \<^medskip> Option \<^verbatim>\-i\ produces a short identification derived from the Mercurial id