[isabelle-dev] ProofGeneral-4.2

[Lawrence Paulson]

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.
Larry

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.