Am 10.12.2012 um 15:28 schrieb Makarius: > See also this old thread: > http://www.mail-archive.com/[email protected]/msg03001.html
Interesting. Unfortunately, I get the same errors with macbroy20, 21, 22, 23... Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
