[polyml] Move to Subversion

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

The subversion repository contains all the CVS history so I'll be disabling CVS shortly.

There's quite a bit of work going on with the compiler at the moment with a view to providing much better support for development environments. There's work to make this available in Isabelle and Lucas Dixon is looking at a plug-in for jEdit. There'll be more news as we get things properly working.

David.