Hi Ramana, I found that “munge.exe” (generated from theories) doesn’t work with this new Poly release: it simply hangs when converting *.htex to *.tex files … and when I switched back to poly 5.6, it worked again.
Can you confirm this on your side? —Chun > Il giorno 20 nov 2017, alle ore 22:58, Ramana Kumar > <[email protected]> ha scritto: > > 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
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
