[isabelle-dev] polyml-5.7.1 test version
makarius at sketis.net
Tue Oct 3 19:13:58 CEST 2017
In Isabelle/808e6ddb5a50 there is now a test version of polyml-5.7.1
from the Github repository (there is no release of 5.7.1 yet).
This version works much better for big AFP sessions as 5.7, although
there are slightly more out-of-heap problems than in 5.6.
Here is an example entry for $ISABELLE_HOME/etc/settings:
That is useful for testing, but also for using the ML compiler 5.7,
which provides PIDE markup for scopes of bound variables.
More information about the isabelle-dev