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