The 5.7.1 candidate appears to work for HOL4 and CakeML - I haven't done extensive tests, but normal builds seem fine.
On 21 November 2017 at 08:41, Makarius <[email protected]> wrote: > 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 > > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
