[isabelle-dev] doc test failed

[Makarius]

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