21 Jul
2020
21 Jul
'20
12:30 p.m.
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/rISABELLE0f2ff88f823e
It can be used with the current Isabelle repository version, but also with offical Isabelle2020 (April 2020).
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.)
Makarius