HomeIsabelle/Phabricator
Isabelle/Phabricator setup

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.

Written by makarius on Dec 16 2019, 9:28 PM.
User
Projects
None
Subscribers
None

Event Timeline