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