Mon, 16 Dec 2019 19:58:11 +0100
changeset 71291 6a40d06698cb
parent 71290 8d21cba3bad4
child 71292 8b745b4d71b5
--- 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