Am 26.01.2009 um 08:36 schrieb Richard Koch: > TeXShop 2.20 is available at The "EU server" does not seem to have TeXShop 2.20 – is it just slow or did it stop doing its job? I remember that last year it also could not provide TeXShop ... -- Greetings Pete Remember: use logout to logout.