On Wed, 15 May 2013, Gerwin Klein wrote:
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.
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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
