On 16/10/2011, at 2:02 AM, Makarius wrote: > 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.
Thanks. I'd have been happy to update it, I was just asking if anyone is relying on at-poly pointing to 5.4.1. In any case, this looks all good now. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
