[isabelle-dev] Fwd: isabelle test failed

Gerwin Klein gerwin.klein at nicta.com.au
Sun Oct 16 02:28:44 CEST 2011

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.


 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.


More information about the isabelle-dev mailing list