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.
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
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.
-
basile＠starynkevitch.net -
David.Matthews＠prolingua.co.uk