On Thu, 29 Nov 2012, Makarius wrote:
The slight tendency away from Python APIs is another thing. Since
Isabelle/Scala is the official system programming language for quite some
time already, I've occasionally checked the situation for JVM-based access to
Mercurial operations. Projects like http://hg4j.com/ are not very far yet.
Also interesting is http://mercurial.selenic.com/wiki/CommandServer which is
a third way to the API vs. external executable problem: some hg process is
started once and used with a certain protocol over the pipe.
This project looks more relevant than hg4j, and it uses the CommandServer
already: https://bitbucket.org/aragost/javahg/overview
So it might become relevant for the Prover IDE some day.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
