# HG changeset patch
# User wenzelm
# Date 1576522691 -3600
# Node ID 6a40d06698cb245a381eacc7cd4951b2cf119c44
# Parent  8d21cba3bad46f158199084dfa31c3d319f5095b
tuned;

diff -r 8d21cba3bad4 -r 6a40d06698cb NEWS
--- a/NEWS	Mon Dec 16 19:54:59 2019 +0100
+++ b/NEWS	Mon Dec 16 19:58:11 2019 +0100
@@ -110,10 +110,11 @@
 
 *** System ***
 
-* The command-line tools "isabelle phabricator_setup", "isabelle
-phabricator" etc. simplify the management of the Phabricator
-software-development platform for Ubuntu LAMP servers. For documentation
-see chapter "Phabricator server administration" in the "system" manual.
+* 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 imports" has been discontinued: strict
 checking of session directories enforces session-qualified theory names