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

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu May 16 00:43:02 CEST 2013


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. The main reason there was an explicit version mention there was to keep track of what exactly was running and where it came from. We have a record of that now with the component system, so that can be dropped.

Cheers,
Gerwin

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.



More information about the isabelle-dev mailing list