--- 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
--- 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