ooppsss, I think I hit both aliases when I had to subscribe. I was tring to get a file from coimbra, but being on the digest is not considered being a member to majordomo...... sorry for the mispost :-( Regards, Mike L.