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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
