On 23/02/2019 11:45, Lars Hupel wrote:
>> 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 rel
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 identi
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:
*** System ***
* Poly/ML 5.8 allows to use