Email Gateway (Aug 18 2022 at 16:19): 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: Apr 26 2024 at 16:20 UTC