On Mon, 26 Jul 2010, David Matthews wrote:
This is probably as good an opportunity as any to summarise the current
state of the SVN version.
I'd be interested in feedback if anyone wants to try this out.
We have the Poly/ML SVN version running in parallel with our regular
Isabelle Tests for several months already -- updating from the repository
occasionally. My impression is that it is pretty close to stable-release
quality.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
