tuned NEWS;
Mon, 16 Dec 2019 21:15:12 +0100
changeset 71293 8f3940150493
parent 71292 8b745b4d71b5
child 71294 aba1f84a7160
tuned 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