# HG changeset patch
# User wenzelm
# Date 1573767432 -3600
# Node ID 81536e5d8ea7ccc6a275e93bb9b655fdff13b861
# Parent  962eda254ac4409f59f9ff75d0b4447a44470257
NEWS;

diff -r 962eda254ac4 -r 81536e5d8ea7 NEWS
--- a/NEWS	Thu Nov 14 22:32:43 2019 +0100
+++ b/NEWS	Thu Nov 14 22:37:12 2019 +0100
@@ -97,6 +97,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 imports" has been discontinued: strict
 checking of session directories enforces session-qualified theory names
 in applications -- users are responsible to specify session ROOT entries