[isabelle-dev] Segmentation faults

[Lawrence Paulson]

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.

Larry