[isabelle-dev] Segmentation faults

[Tjark Weber]

Larry,

On Thu, 2013-05-02 at 16:18 +0100, Lawrence Paulson wrote:
> 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?

Since nobody else replied: I do get occasional segfaults from Poly/ML
(not only running Isabelle, but also other ML code). David Matthews is
usually quite responsive to bug reports.

Best,
Tjark