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

[Makarius]

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.


 	Makarius