[isabelle-dev] Towards Poly/ML 5.8

Lars Hupel hupel at in.tum.de
Sat Feb 23 11:45:27 CET 2019

> After a lot of refinements by David Matthews we are moving towards the
> new Poly/ML 5.8 release. Isabelle/8c587dd44f51 already bundles a 
> Poly/ML
> version of that number, without being official yet. The Isabelle NEWS
> already talk about an official release:

Is it intentional that the system identifier is still 5.7.1?


This also raises the question if that variable has any remaining uses.

More information about the isabelle-dev mailing list