[isabelle-dev] [OT] Reasons mira crashes

Makarius makarius at sketis.net
Thu Nov 29 12:13:30 CET 2012

On Thu, 29 Nov 2012, Lars Noschinski 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.
> JGit is said to be stable and full-featured.

I know, and I still dislike the general style of Git and its tools.

Does JGit work smoothly on Windows, for example?  In Isabelle/Scala I play 
more and more funny tricks to get rid of the received Unix model of 
executing some process to do small auxiliary things.

Anyway, back then in 2008 we spent several months investigating the 
situation, and many week to prepare the move.  In retrospect the choices 
were good ones.  You don't change such fundamental platforms without 
getting a real benefit from it.


More information about the isabelle-dev mailing list