[isabelle-dev] Broken AFP sessions

Makarius makarius at sketis.net
Wed Oct 7 19:58:58 CEST 2015

On Wed, 7 Oct 2015, Larry Paulson wrote:

> Now I’ve fixed these too.


So in Isabelle/a273bdac0934 and AFP/2351d0b91fb8 everything works, except 
for the new entry Isabelle_Meta_Model from Isabelle2015.


More information about the isabelle-dev mailing list