On Tue, 25 Mar 2008, Makarius wrote: > 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).
BTW, you need to update the RAW target as well.
Makarius
