[isabelle-dev] Segmentation faults

Lawrence Paulson lp15 at cam.ac.uk
Thu May 2 17:18:50 CEST 2013

I am getting a lot of poly/ML segmentation faults, and they are making it very difficult to do my work, especially as my theories take at least 15 minutes to load. If it then simply crashes then I'm not getting anywhere.

Has anybody else had this problem with Poly/ML?

~/isabelle/Repos/src/HOL: hg id
cdc05fc4cd0d tip

My Isabelle components are up-to-date.


More information about the isabelle-dev mailing list