26 Jul
2010
26 Jul
'10
6:24 p.m.
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