[isabelle-dev] Poly/ML

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

Clemens
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev