[isabelle] using Isabelle2005 on polyml5.0
To quote a message of several years ago:
These problems may be avoided altogether by using Poly/ML 5.0. See also
how to make it work with Isabelle2005.
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 ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and