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