> > Thanks; that should be fixed in r15551. > Yes, works now. Thanks. -- Waldek Hebisch hebisch at math.uni.wroc.pl