David Matthews wrote:
CVS is getting rather old now and most projects seem to have moved on. I've now moved Poly/ML's CVS repository to subversion and taken the opportunity to enable Trac on the SourceForge site.
To download the development version you need svn co https://polyml.svn.sourceforge.net/svnroot/polyml/trunk polyml
That would give you a polyml/polyml directory. I suggest instead svn co https://polyml.svn.sourceforge.net/svnroot/polyml/trunk/polyml
Regards