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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml