There is now a Poly/ML repository test version, as regular Isabelle
component (unused by default).
-- that changeset also documents automated administrative testing in the
Anybody who wants to try out that preview of Poly/ML 5.7 can add
something like this to $ISABELLE_HOME_USERS/etc/settings:
(I will be only sparsely connected to my mail during the rest of the week.)
isabelle-dev mailing list