--- 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