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