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