Am 17.12.2012 um 15:45 schrieb Makarius: > Jasmin (Mac OS X user) is also using patch queus routinely, but never had > this effect so far. Is this correct?
Yes. And I'm also using a rather old version (1.5). Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
