# HG changeset patch
# User wenzelm
# Date 1576527312 -3600
# Node ID 8f39401504937713d7da39c95b671ed552bd5ae8
# Parent  8b745b4d71b55f8d900bede66704493de227928c
tuned NEWS;

diff -r 8b745b4d71b5 -r 8f3940150493 NEWS
--- a/NEWS	Mon Dec 16 20:43:40 2019 +0100
+++ b/NEWS	Mon Dec 16 21:15:12 2019 +0100
@@ -110,11 +110,13 @@
 
 *** System ***
 
-* The command-line tool "isabelle phabricator_setup" (and some more)
-supports the management of the Phabricator software-development platform
-for Ubuntu 18.04 servers. For documentation, see chapter "Phabricator
-server administration" in the "system" manual. This helps to escape the
-gravity of centralized version control by Github or Bitbucket.
+* The command-line tool "isabelle phabricator_setup" facilitates
+self-hosting of the Phabricator software-development platform, with
+support for Git, Mercurial, Subversion repositories. This helps to avoid
+monoculture and to escape the gravity of centralized version control by
+Github and/or Bitbucket. For further documentation, see chapter
+"Phabricator server administration" in the "system" manual. A notable
+example installation is https://isabelle-dev.sketis.net/.
 
 * The command-line tool "isabelle imports" has been discontinued: strict
 checking of session directories enforces session-qualified theory names