On Sat, 15 Oct 2011, Makarius wrote:
So for the moment the main obstable for switching at64-poly to 5.4.1 is the lack of an installation in /home/polyml which I will produce soon.
See now Isabelle/22ff7e226946.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
