[isabelle-dev] Fwd: isabelle test failed

Makarius makarius at sketis.net
Sat Oct 15 17:02:27 CEST 2011

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.


More information about the isabelle-dev mailing list