[isabelle-dev] Towards Poly/ML 5.7.1
makarius at sketis.net
Sun Oct 22 20:56:19 CEST 2017
Isabelle/8176914dae84 provides a more recent Poly/ML test version, which
can be used for testing like this in $ISABELLE_HOME_USER/etc/settings:
After a few days, I will make this (or a later snapshot) the standard
Poly/ML version for isabelle-dev.
In a couple of weeks, David Matthews will release Poly/ML 5.7.1
officially, so now is a good time to see if it works smoothly.
More information about the isabelle-dev