20 Nov
2015
20 Nov
'15
4:10 p.m.
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