[isabelle-dev] [OT] Reasons mira crashes

Lars Noschinski noschinl at in.tum.de
Thu Nov 29 12:17:29 CET 2012

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

More information about the isabelle-dev mailing list