[isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit

Lars Hupel hupel at in.tum.de
Tue Apr 12 17:25:26 CEST 2016

Previous message (by thread): [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
Next message (by thread): [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> In Isabelle/cfbb6a5b427c it is done again differently, and hopefully in
> a more robust way.

Thanks, that seems to have resolved the matter.

Cheers
Lars

Previous message (by thread): [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit
Next message (by thread): [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list