On 21/07/2020 12:30, Makarius wrote:
Rather soon, I will continue on the Isabelle repository with Poly/ML
repository versions, because I want to start using the experimental GCPercent
feature. (The next Isabelle release will probably be in Jan-2021.)
I've updated the GCPercent branch to incorpo
On 20/07/2020 21:57, David Matthews wrote:
> After the recent bug fixes I thought it was time to produce a new release.
> There are very few new features; it's almost all bug fixes.
Great. I have updated the Isabelle polyml-5.8.1 component accordingly:
https://isabelle-dev.sketis.net/rISABELLE0f2
Phil,
Yes, you're right. For some reason it was missing in the documentation.
I've removed it from the release message.
David
On 20/07/2020 22:23, Phil Clayton wrote:
David,
Thanks for the release!
The release message in Github
[https://github.com/polyml/polyml/releases/tag/v5.8.1]
says
"
David,
Thanks for the release!
The release message in Github
[https://github.com/polyml/polyml/releases/tag/v5.8.1]
says
"Added Weak.touch. Including this in code that uses a weak reference
ensures that the reference will not be garbage-collected."
I think Weak.touch was actually introduced in
After the recent bug fixes I thought it was time to produce a new
release. There are very few new features; it's almost all bug fixes.
Thanks to everyone for the patches and bug reports.
David
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists