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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
