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

[Makarius]

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
https://isabelle.in.tum.de/repos/isabelle/file/0131b7b44c32/src/Pure/Tools/phabricator.scala#l830

It possible to experiment with it interactively in
https://isabelle-dev.sketis.net/conduit

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.


	Makarius