[isabelle-dev] [OT] Reasons mira crashes
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