[isabelle-dev] NEWS: Command-line tool "isabelle hg_setup"

Makarius makarius at sketis.net
Thu Dec 19 20:58:19 CET 2019

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

It possible to experiment with it interactively in

That is untyped data exchange via JSON, but after some tinkering it works. In
Isabelle/Scala there are typed functions, of course.

Further such "tooling" is to be expected soon, even within the Prover IDE.


More information about the isabelle-dev mailing list