Am 10.12.2012 um 15:28 schrieb Makarius: > See also this old thread: > http://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.de/msg03001.html Interesting. Unfortunately, I get the same errors with macbroy20, 21, 22, 23... Jasmin