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