[isabelle-dev] polyml-5.7.1 test version

Makarius 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:

  init_component "$HOME/.isabelle/contrib/polyml-test-e7a662f8f9c4"

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 mailing list