Hi all, I tried to add ex11 to Jungerl last night but my lack of experience with CVS and the late hour made the result less than satisfactory -- the ex11 directory ended up as a top-level one, instead of in jungerl/lib... I will try to fix it this afternoon, but if anyone has any hints or advice, they are welcomed! regards, Vlad