There have been a bit too many posthoc changes for Isabelle2013-1 to trust blindly that the usual collection of isatest platforms still work. The final Isabelle2013-2 release will probably happen in 1 week.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
