Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/System/Phabricator.thy
changeset 79496 4d82b743c5e1
parent 79485 50cd283a7218 
--- 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:
isabelle