# HG changeset patch
# User wenzelm
# Date 1576772975 -3600
# Node ID 0131b7b44c324d47382604240255bccb1ba63488
# Parent  d0e14780b2787269e9b230bd65a92f36aa35678f
NEWS;

diff -r d0e14780b278 -r 0131b7b44c32 NEWS
--- a/NEWS	Thu Dec 19 17:26:06 2019 +0100
+++ b/NEWS	Thu Dec 19 17:29:35 2019 +0100
@@ -118,6 +118,10 @@
 "Phabricator server administration" in the "system" manual. A notable
 example installation is https://isabelle-dev.sketis.net/.
 
+* The command-line tool "isabelle hg_setup" simplifies the setup of
+Mercurial repositories, with hosting via Phabricator or SSH file server
+access.
+
 * The command-line tool "isabelle imports" has been discontinued: strict
 checking of session directories enforces session-qualified theory names
 in applications -- users are responsible to specify session ROOT entries
diff -r d0e14780b278 -r 0131b7b44c32 src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Thu Dec 19 17:26:06 2019 +0100
+++ b/src/Doc/System/Misc.thy	Thu Dec 19 17:29:35 2019 +0100
@@ -153,8 +153,8 @@
 
 text \<open>
   The @{tool_def hg_setup} tool simplifies the setup of Mercurial
-  repositories, with hosting via Phabricator (\chref{ch:phabricator}) or plain
-  SSH file-system access.
+  repositories, with hosting via Phabricator (\chref{ch:phabricator}) or SSH
+  file server access.
 
   @{verbatim [display]
 \<open>Usage: isabelle hg_setup [OPTIONS] REMOTE LOCAL_DIR