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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
