[isabelle-dev] Reasons mira crashes

[Makarius]

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