On Wed, 7 Oct 2015, Larry Paulson wrote:
Now I’ve fixed these too.
Great.So in Isabelle/a273bdac0934 and AFP/2351d0b91fb8 everything works, except for the new entry Isabelle_Meta_Model from Isabelle2015.
Makarius
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev