[isabelle-dev] Reasons mira crashes
makarius at sketis.net
Thu Nov 29 17:56:36 CET 2012
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
So it might become relevant for the Prover IDE some day.
More information about the isabelle-dev