2 Nov
2004
2 Nov
'04
6:23 p.m.
I've now put the development sources on to the Poly/ML website as http://www.polyml.org/polyml-devel.tar.gz .
All the patches I've received should be included but I'd be grateful if people could check that any patches they've sent me are actually there.
David.