[isabelle-dev] moving isatest to poly 5.4

Gerwin Klein gerwin.klein at nicta.com.au
Thu Dec 16 23:37:48 CET 2010

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.


More information about the isabelle-dev mailing list