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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
