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

[Makarius]

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.


 	Makarius