--- a/src/Doc/System/Misc.thy Fri Jan 19 17:14:37 2024 +0100
+++ b/src/Doc/System/Misc.thy Sat Jan 20 13:01:30 2024 +0100
@@ -79,7 +79,7 @@
of \<^verbatim>\<open>apt-get install\<close> within the underlying Linux distribution.
Option \<^verbatim>\<open>-P\<close> refers to high-level package collections: \<^verbatim>\<open>X11\<close> or \<^verbatim>\<open>latex\<close> as
- provided by \<^verbatim>\<open>isabelle docker_build\<close> (assuming Ubuntu 20.04 LTS). This
+ provided by \<^verbatim>\<open>isabelle docker_build\<close> (assuming Ubuntu 22.04 LTS). This
imposes extra weight on the resulting Docker images. Note that \<^verbatim>\<open>X11\<close> will
only provide remote X11 support according to the modest GUI quality
standards of the late 1990-ies.
--- a/src/Doc/System/Phabricator.thy Fri Jan 19 17:14:37 2024 +0100
+++ b/src/Doc/System/Phabricator.thy Sat Jan 20 13:01:30 2024 +0100
@@ -234,7 +234,7 @@
@{verbatim [display] \<open> systemctl reload apache2\<close>}
\<^item> Install \<^verbatim>\<open>certbot\<close> from \<^url>\<open>https://certbot.eff.org\<close> following the
- description for Apache and Ubuntu 20.04 on
+ description for Apache and Ubuntu 20 on
\<^url>\<open>https://certbot.eff.org/instructions?ws=apache&os=ubuntufocal\<close>. Run
\<^verbatim>\<open>certbot\<close> interactively and let it operate on the domain
\<^verbatim>\<open>vcs.example.org\<close>.
@@ -391,7 +391,7 @@
text \<open>
The @{tool_def phabricator_setup} tool installs a fresh Phabricator instance
- on Ubuntu 20.04 LTS:
+ on Ubuntu 20.04 or 22.04 LTS:
@{verbatim [display] \<open>Usage: isabelle phabricator_setup [OPTIONS]
Options are:
--- a/src/Pure/Tools/phabricator.scala Fri Jan 19 17:14:37 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala Sat Jan 20 13:01:30 2024 +0100
@@ -1,7 +1,7 @@
/* Title: Pure/Tools/phabricator.scala
Author: Makarius
-Support for Phabricator server, notably for Ubuntu 20.04 LTS.
+Support for Phabricator server, notably for Ubuntu 20.04 or 22.04 LTS.
See also:
- https://www.phacility.com/phabricator