[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