[isabelle-dev] Global build failures of the AFP in the testboard

Makarius makarius at sketis.net
Thu May 16 12:56:03 CEST 2013

On Wed, 15 May 2013, Gerwin Klein wrote:

> On 16.05.2013, at 1:25 AM, Lars Noschinski <noschinl at in.tum.de> wrote:
>> @Alex, Gerwin: Is there any reason remaining why the AFP should not use the default PolyML version?  I remember Alex and I dropped a similar override from the Isabelle tests.
> Not that I am aware of.

Since it is polyml-svn and x86_64, too, I guess it is just historic.  At 
some point we've had problems getting AFP through with some polyml-5.4.x 
version, and that was the result of strechting as far as possible.  Now it 
should all work just with the component defaults.


More information about the isabelle-dev mailing list