[isabelle-dev] NEWS: Isabelle/Phabricator setup

[Makarius]

*** System ***

* 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/.

This refers to Isabelle/8f3940150493. At the same time it is a test of the
NEWS blog at https://isabelle-dev.sketis.net -- with automated propagation to
the isabelle-dev mailing list.

See also
https://isabelle-dev.sketis.net/phame/post/view/1/isabelle_phabricator_setup

(Actually, mailing list propagation does not quite work yet, so I pasted this
manually.)


	Makarius