[isabelle-dev] Poly/ML
Clemens Ballarin
ballarin at in.tum.de
Tue Jun 21 23:11:21 CEST 2011
After updating my Isabelle repository (which I haven't done for quite
a while) Poly/ML stopped to start up. I have 5.2 and according to the
release notes this is no longer supported. Do I need to build 5.4 for
myself or do we provide a pre-built version for MacOS 10.5 somewhere?
The Isabelle download page is surprisingly silent about Poly/ML
nowadays.
Clemens
More information about the isabelle-dev
mailing list