19 Oct
2005
19 Oct
'05
9:14 a.m.
Thanks a lot - that worked.
Ewen
this is a well known problem on the latest linux kernels. Please
try the upcomming 4.1.4 version of polyml from http://www.sf.net/projects/polyml
Achim