Am 02.04.2009 um 08:00 schrieb philippe grandjean: > Curiously few days after the same file was visible in texshop. This looks like a polluted font caches problem ... -- Greetings Pete Build a man a fire and he'll be warm for a night, but set a man on fire and he'll be warm for the rest of his life.