[isabelle-dev] Build error: isabelle.XML$XML_Body
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:
> 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