20 Nov
2017
20 Nov
'17
9:41 p.m.
On 20/11/17 14:23, David Matthews wrote:
Thanks to everyone who sent in bug reports.? We're almost ready to release 5.7.1.? I've updated Git master ( 44b7b88 ) with pre-built compilers for 5.7.1.? This is the last chance check it before the release which will probably happen at the end of the week.
I have successfully built this version on Linux, Windows, mac OS, and ran vorious manual tests of Isabelle + AFP. It all looks fine.
Note that I will be on travel on Wed--Fri this week, so if there are any last-minute issues, I cannot do any tests during these days.
Makarius