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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
