# 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>\<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>Isabelle2021-1\<close>). Thus @{tool jedit_client} can connect to the
+  name (e.g.\ \<^verbatim>\<open>Isabelle2022\<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
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>\<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/Isabelle2021-1\<close>.
+    usually to something like \<^verbatim>\<open>$USER_HOME/.isabelle/Isabelle2022\<close>.
 
     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}\<open>\<^sup>*\<close>] refers to the name of this
-  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2021-1\<close>''.
+  Isabelle distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2022\<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>]
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>\<open>ubuntu\<close> refers to the latest LTS version provided by Canonical
   as the official Ubuntu vendor\<^footnote>\<open>\<^url>\<open>https://hub.docker.com/_/ubuntu\<close>\<close>. For
-  Isabelle2021-1 this should be Ubuntu 20.04 LTS.
+  Isabelle2022 this is normally Ubuntu 22.04 LTS.
 
   Option \<^verbatim>\<open>-p\<close> includes additional Ubuntu packages, using the terminology
   of \<^verbatim>\<open>apt-get install\<close> within the underlying Linux distribution.
@@ -98,22 +98,22 @@
   Produce a Dockerfile (without image) from a remote Isabelle distribution:
   @{verbatim [display]
 \<open>  isabelle build_docker -E -n -o Dockerfile
-    https://isabelle.in.tum.de/website-Isabelle2021-1/dist/Isabelle2021-1_linux.tar.gz\<close>}
+    https://isabelle.in.tum.de/website-Isabelle2022/dist/Isabelle2022_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 build_docker -E -t test/isabelle:Isabelle2021-1 Isabelle2021-1_linux.tar.gz\<close>}
+\<open>  isabelle build_docker -E -t test/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz\<close>}
 
   Invoke the raw Isabelle/ML process within that image:
   @{verbatim [display]
-\<open>  docker run test/isabelle:Isabelle2021-1 process -e "Session.welcome ()"\<close>}
+\<open>  docker run test/isabelle:Isabelle2022 process -e "Session.welcome ()"\<close>}
 
   Invoke a Linux command-line tool within the contained Isabelle system
   environment:
   @{verbatim [display]
-\<open>  docker run test/isabelle:Isabelle2021-1 env uname -a\<close>}
+\<open>  docker run test/isabelle:Isabelle2022 env uname -a\<close>}
   The latter should always report a Linux operating system, even when running
   on Windows or macOS.
 \<close>
@@ -448,7 +448,7 @@
 
   \<^medskip>
   The default is to output the full version string of the Isabelle
-  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2021-1: December 2021\<close>.
+  distribution, e.g.\ ``\<^verbatim>\<open>Isabelle2022: October 2022\<close>.
 
   \<^medskip>
   Option \<^verbatim>\<open>-i\<close> produces a short identification derived from the Mercurial id