Am 27.12.2011 um 13:03 schrieb Florian Haftmann: > There is a failure in Nitpick_Examples which is neither reproducible on > macbroy2 nor my local machine: > http://isabelle.in.tum.de/reports/Isabelle/report/14fe4e1bd31f4a9fab112f57669a1de5 > > Maybe Jasmin can comment on this?
Yes, but after New Year's. Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev