Andreas Lochbihler pointed out that the AFP test is still running polyml version 5.3 as is most of isatest.
Any arguments against moving all of this to polyml 5.4? If not, I'll attempt that tomorrow. This may fix some of the concurrency stability problems. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
