On 19/12/2019 20:52, Makarius wrote:
> *** System ***
>
> * The command-line tool "isabelle hg_setup" simplifies the setup of
> Mercurial repositories, with hosting via Phabricator or SSH file server
> access.
Another note on the implementation: it uses the Phabricator "Conduit" API
*** System ***
* The command-line tool "isabelle hg_setup" simplifies the setup of
Mercurial repositories, with hosting via Phabricator or SSH file server
access.
This refers to Isabelle/0131b7b44c32, with documentation in