Hi,
Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday:
Wiki is old-fashioned these days, how about using Stack Exchange for
Isabelle user communication?
What do you think about this?
I guess this is getting off-topic for isabelle-dev and should rather be
discussed on the users
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
___
isabelle-dev mailing list
isabelle-...@in.tum.de
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
On Fri, 22 Feb 2013, Joachim Breitner wrote:
Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday:
Wiki is old-fashioned these days, how about using Stack Exchange for
Isabelle user communication?
I've asked myself this very question occasionally. Just empirically by
doing regular
On Fri, 2013-02-22 at 13:26 +0100, Makarius wrote:
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.
Thanks for the quick reply. jedit -b -f by itself didn't seem to fix
On Fri, 22 Feb 2013, Tjark Weber wrote:
On Fri, 2013-02-22 at 13:26 +0100, Makarius wrote:
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.
Thanks for the quick reply.