[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.

Cheers,
Gerwin


More information about the isabelle-dev mailing list