Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] using Isabelle2005 on polyml5.0

Email Gateway (Aug 18 2022 at 16:19):

From: Jeremy Dawson <jeremy@rsise.anu.edu.au>
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

Last updated: Nov 21 2024 at 12:39 UTC