The Poly/ML implementation of Standard
Full multiprocessor support in the thread library and garbage
Preferred implementation for large projects including Isabelle
Latest news:Poly/ML software directory now available for testing.
The development version is now on Git at GitHub
is a Poly/ML mailing list available at the University of Edinburgh.