[isabelle-dev] Reasons mira crashes

Makarius 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 
already: https://bitbucket.org/aragost/javahg/overview

So it might become relevant for the Prover IDE some day.


More information about the isabelle-dev mailing list