[isabelle] using Isabelle2005 on polyml5.0



To quote a message of several years ago:

(quote)
These problems may be avoided altogether by using Poly/ML 5.0. See also
http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz on
how to make it work with Isabelle2005.
(end quote)

This link seems to be broken - is this information (ie, about what you
need to do to Isabelle2005 to make it work with Polyml5.0) still
available ?  Does anyone know how to do this ?

thanks,

Jeremy







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.