[isabelle-dev] Global build failures of the AFP in the testboard
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.
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