22 Nov
2004
22 Nov
'04
3:40 p.m.
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.
Martin