On Wed, 28 Dec 2011, Jasmin Christian Blanchette wrote:
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.
Isabelle/493d9c4d7ed5 disables the kodkodi component for now, so there is
a chance that the next isatest run works again (I have also addressed some
other issues that have accumulated right before and after Christmas).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
