On Mon, 11 Apr 2016, Lars Hupel wrote:
I wanted to try out some of the changes you made in the past week, but
unfortunately, I'm getting exceptions upon starting Isabelle/jEdit.
12:33:24 [main] [error] Plugin: java.lang.ExceptionInInitializerError
Odd. I don't see this problem on my machine. I've never quite understood
JVM module initialization.
In Isabelle/cfbb6a5b427c it is done again differently, and hopefully in a
more robust way.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
