[isabelle-dev] Poly/ML

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Jun 21 23:39:17 CEST 2011

Am 21.06.2011 um 23:11 schrieb Clemens Ballarin:

> 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.

There might be a more official way of doing it, but what worked for me  
on Mac and Linux was to install the full Isabelle2011 bundle and  
cannibalize it, i.e. steal its interesting third-party components. For  

ln -s /Applications/Isabelle2011.app/Isabelle/contrib/polyml ~/polyml

will create a symlink that will be automatically picked up by the  
repository version of Isabelle (if your repository is somewhere under  


More information about the isabelle-dev mailing list