[isabelle-dev] Build error: isabelle.XML$XML_Body

Tjark Weber webertj at in.tum.de
Fri Feb 22 13:20:25 CET 2013


Hi,

After "hg fetch" to update to tip (22ba938ab10f), followed by "isabelle
components -a", Isabelle build now fails with this error message:

  isabelle.XML$XML_Body

Any advice?

Tjark



More information about the isabelle-dev mailing list