# HG changeset patch
# User wenzelm
# Date 1576007874 -3600
# Node ID d5751eb5cc570c56867d7fce9f284a4286b41eb2
# Parent  8451c86ffa85ad2161c46c0093341b71a91637de
tuned;

diff -r 8451c86ffa85 -r d5751eb5cc57 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Tue Dec 10 20:38:45 2019 +0100
+++ b/src/Doc/System/Phabricator.thy	Tue Dec 10 20:57:54 2019 +0100
@@ -181,17 +181,18 @@
 
   The subsequent configuration is convenient, but also ambitious: it takes
   away the standard port 22 from the operating system and assigns it to
-  Isabelle/Phabricator!
+  Isabelle/Phabricator:
 
   @{verbatim [display] \<open>  isabelle phabricator_setup_ssh -p 22 -q 222\<close>}
 
   Afterwards, remote login to the server host needs to use that alternative
-  port 222. If there is a problem with it, there is usually remote console
-  access to the hosted virtual machine via some web interface of the provider.
+  port 222. If there is a problem with it, the administrator can usually
+  connect to a remote console via some web interface of the virtual server
+  provider.
 
   \<^medskip>
-  The following more modest configuration uses port 2222 for Phabricator,
-  and restains port 22 for the operating system:
+  The following alternative is more modest: it uses port 2222 for Phabricator,
+  and retains port 22 for the operating system:
 
   @{verbatim [display] \<open>  isabelle phabricator_setup_ssh -p 2222 -q 22\<close>}