# HG changeset patch
# User wenzelm
# Date 1705752090 -3600
# Node ID 4d82b743c5e1319693ba922ad378a5dc0a57e042
# Parent  8a25110626095d00e25490f1bc3f9d5b8fdce8bf
more accurate Ubuntu versions;

diff -r 8a2511062609 -r 4d82b743c5e1 src/Doc/System/Misc.thy
--- 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.
diff -r 8a2511062609 -r 4d82b743c5e1 src/Doc/System/Phabricator.thy
--- 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:
diff -r 8a2511062609 -r 4d82b743c5e1 src/Pure/Tools/phabricator.scala
--- 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