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.
David
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
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 <makarius at sketis.net> 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
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 <Ramana.Kumar at cl.cam.ac.uk> 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 <makarius at sketis.net> 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
I've uploaded the current master to Debian's experimental suite, and so far everything looks good[0] from my perspective.
James
[0] https://buildd.debian.org/status/package.php?p=polyml&suite=experimental
On 20 Nov 2017, at 13:23, David Matthews <David.Matthews at prolingua.co.uk> 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.
David
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
binghe.lisp＠gmail.com -
David.Matthews＠prolingua.co.uk -
jrtc27＠jrtc27.com -
makarius＠sketis.net -
Ramana.Kumar＠cl.cam.ac.uk