On Tue, 10 Nov 2015, David Matthews wrote:
The aim is to wrap up the current changes into a new release, probably
5.6 rather than 5.5.3 since there are quite a few changes. That will
probably be over the next month or two.
It certainly makes sense to bump the release number to 5.6.
I am in the process to catch up with all that for the coming winter
release of Isabelle.
Makarius
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml