[isabelle-dev] [OT] Reasons mira crashes

Makarius makarius at sketis.net
Thu Nov 29 12:21:27 CET 2012

On Thu, 29 Nov 2012, Lars Noschinski wrote:

> 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.

But this is again a Git approach: public file formats.  The Mercurial guys 
don't do that.

This is getting more and more off-topic.  And in fact, my main complaint 
about git is the noise and advocacy around it.


More information about the isabelle-dev mailing list