[isabelle-dev] Poly/ML repository test version

Makarius makarius at sketis.net
Mon Nov 14 20:28:00 CET 2016

There is now a Poly/ML repository test version, as regular Isabelle
component (unused by default).

See also
-- that changeset also documents automated administrative testing in the
usual manner.

Anybody who wants to try out that preview of Poly/ML 5.7 can add
something like this to $ISABELLE_HOME_USERS/etc/settings:

init_component "$HOME/.isabelle/contrib/polyml-test-7a7b742897e9"

(I will be only sparsely connected to my mail during the rest of the week.)


More information about the isabelle-dev mailing list