[isabelle-dev] doc test failed

Makarius 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 mailing list