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

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

Previous message (by thread): [isabelle-dev] exception Size raised (line 173 of "./basis/LibrarySupport.sml")
Next message (by thread): [isabelle-dev] Build error: isabelle.XML$XML_Body
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] exception Size raised (line 173 of "./basis/LibrarySupport.sml")
Next message (by thread): [isabelle-dev] Build error: isabelle.XML$XML_Body
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list