# HG changeset patch # User wenzelm # Date 1576527312 -3600 # Node ID 8f39401504937713d7da39c95b671ed552bd5ae8 # Parent 8b745b4d71b55f8d900bede66704493de227928c tuned NEWS; diff -r 8b745b4d71b5 -r 8f3940150493 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