On Tue, 25 Mar 2008, Florian Haftmann wrote: > Anyway, also the installed version of polyml-5.1. at atbroy100 makes > problems (locks attached).
I've just tried this myself, but got a quite different error (which I've
fixed now).
Makarius
