[isabelle-dev] ProofGeneral-4.2

Lawrence Paulson 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 mailing list