[isabelle-dev] Segmentation faults
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
My Isabelle components are up-to-date.
More information about the isabelle-dev