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

Makarius makarius at sketis.net
Fri Feb 22 13:26:31 CET 2013

On Fri, 22 Feb 2013, Tjark Weber wrote:

> 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?

I would say you just need the usual "isabelle build -b -f" to force a 
fresh build of everything.  Java stuff, and especially Scala stuff is not 
100% monotone wrt. upgrades.


More information about the isabelle-dev mailing list