[isabelle] Poly/ML 5 available

Dear Isabelle users,

David Matthews has announced the official release of Poly/ML 5, see 
http://www.polyml.org/ and 
http://www.polyml.org/docs/Version5ReleaseNotes.html in particular.  This 
version supports various additional platforms, notably Intel Macs and 
AMD64 machines.

Those who would like to give it a try with Isabelle2005 may get the 
required compatibility files and some README from 
Note that you will have to compile Isabelle logics manually.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.