Carl Eugen Hoyos <cehoyos <at> rainbow.studorg.tuwien.ac.at> writes: > Attached are a few more fixes, I was surprised how many unneeded (?) > symbols we export. Applied the ones Michael did not object. Carl Eugen