On Fri, 17 Dec 2010, Gerwin Klein wrote:
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?
Well, we do not have an official stable Poly/ML 5.4 for Isabelle yet.
5.4 has a problem with bigints in certain situations, so it would need at
least one extra patch from the SVN. So far I did not find time for
looking more closely, and official Poly/ML 5.3 is sufficiently stable.
If not, I'll attempt that tomorrow. This may fix some of the concurrency
stability problems.
There is no problem to use an internal SVN version of Poly/ML for an
internal AFP test, if you don't care to know which one it is. See
/home/polyml/polyml-svn in the NFS at TUM.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
