[isabelle-dev] doc test failed
makarius at sketis.net
Tue Feb 8 18:02:45 CET 2011
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.
More information about the isabelle-dev