On Tue, 8 Feb 2011, Makarius wrote:
### No timeout support on this ML platform
This is a known (documented) feature of polyml-5.2, which is used in
this test. To avoid further confusion in the future, I will discontinue
this old Poly/ML version altogether and dispose the dummy versions of
multithreading and timeouts.
See also 05514b09bb4b and ae1a46cdb9cb.
There is some change that isatest will swallow this.
Another important question is why isatest did not report the failure of
the important "at-poly" session
This is still open.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
