[isabelle-dev] NEWS: Isabelle/Phabricator setup

Makarius makarius at sketis.net
Mon Dec 16 21:34:35 CET 2019

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

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


More information about the isabelle-dev mailing list