[isabelle-dev] Poly/ML

Clemens Ballarin ballarin at in.tum.de
Tue Jun 21 23:11:21 CEST 2011

Previous message (by thread): [isabelle-dev] jedit_build update
Next message (by thread): [isabelle-dev] Poly/ML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] jedit_build update
Next message (by thread): [isabelle-dev] Poly/ML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list