[isabelle-dev] [OT] Reasons mira crashes
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.
More information about the isabelle-dev