On Apr 13, 2008, at 11:11 AM, John Ridgway wrote:
Friends -
I have two outstanding items in the New Packages tracker. I think
I've finally got a version of Poly/ML 5 (polyml5) ready to go, and
Isabelle 2007, which depends on polyml5. They've been sitting there
without action for a while.
On Apr 13, 2008, at 11:11 AM, John Ridgway wrote:
Friends -
I have two outstanding items in the New Packages tracker. I think
I've finally got a version of Poly/ML 5 (polyml5) ready to go, and
Isabelle 2007, which depends on polyml5. They've been sitting there
without action for a while.