On 16.05.2013, at 1:25 AM, Lars Noschinski <nosch...@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. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev