lp15 at cam.ac.uk
Tue May 28 18:47:04 CEST 2013
As I've said, these are poly/ML bus errors. My impression is that they arise when Isabelle/jEdit is processing material under development, containing errors and sledgehammer calls.
On 28 May 2013, at 17:45, Makarius <makarius at sketis.net> wrote:
> Bus errors of the JVM (not Isabelle/jEdit!) are a serious problem, but one of Oracle and Apple. I hope they will manage to get things into better shape soon -- there is some hope for Java 8. In the meantime, there is always Windows and Linux as alternatives.
More information about the isabelle-dev