[isabelle-dev] Poly/ML repository test version

[Makarius]

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

See also
https://bitbucket.org/isabelle_project/isabelle-release/commits/b3ccfd59097d
-- 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.)


	Makarius