23 Nov
2004
23 Nov
'04
6:05 a.m.
On Monday 22 November 2004 07:39 am, Martin Ellis wrote:
FYI,
Lest anyone be planning an upgrade, I get segmentation faults on PolyML startup using Linux 2.6.9 (using PolyML as distributed with Isabelle). Maybe it's just me though.
2.6.8.1 seems fine though.
I get the same behavior.
-Brent