Re: [isabelle] Greyout followed by gc error

On Sun, 18 Jan 2015, Peter Lammich wrote:

How to make PolyML Isabelle/jEdit produce such a core dump with
debugging symbols?

There should be nothing specific about Isabelle/jEdit here.

You just compile Poly/ML "as usual", e.g. as explained in the README of the polyml component that is used for Isabelle. E.g. polyml-5.5.2-1 for Isabelle2014. The build script accepts arguments to ./configure such as --enable-debug.

You can probably compile it in-place of the existing component, and then restart. If something is messed up, you just take a fresh copy from


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.