Basile STARYNKEVITCH wrote:
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
Agreed; and I wondered whether to make that point. However we may be adding other modules such as the jEdit plugin in the parent directory so there are advantages in checking out the trunk directory.
Regards, David.