[isabelle-dev] [OT] Reasons mira crashes

[Lars Noschinski]

On 29.11.2012 12:13, Makarius wrote:
> 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.

I would expect so: JGit is a pure Java implementation, not using C Git.

> You don't change such fundamental platforms without
> getting a real benefit from it.

Of course.

   -- Lars