[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.

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


More information about the isabelle-dev mailing list