Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
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 list. Anyways: I find SE a good format for the typical questions that are raised on the users list, but I am not sure if the community is large enough to provide reasonable fast and good answers there to make it useful. But it could be worth a try. Greetings, Joachim -- Dipl.-Math. Dipl.-Inform. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner signature.asc Description: This is a digitally signed message part ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] Build error: isabelle.XML$XML_Body
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 https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Build error: isabelle.XML$XML_Body
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 ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia
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 web search, I end up very often on Stack Exchange, e.g. for Java or JVM problems. The reason why Java with all its problems still survives (and thrives) is that so many answers are available. I guess this is getting off-topic for isabelle-dev and should rather be discussed on the users list. Anyways: I find SE a good format for the typical questions that are raised on the users list, but I am not sure if the community is large enough to provide reasonable fast and good answers there to make it useful. But it could be worth a try. You are welcome to initiate a thread on isabelle-users. I think the main question for most of us is how SE actually works, and what needs to be done to establish some foothold there. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Build error: isabelle.XML$XML_Body
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 the issue, but after manually deleting files in ~/.isabelle/ I am no longer stuck. (I did run into the problem that Christian Sternagel noticed recently, where afp_build failed to update session index, but managed to solve that myself.) Tjark ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Build error: isabelle.XML$XML_Body
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. jedit -b -f by itself didn't seem to fix the issue, but after manually deleting files in ~/.isabelle/ Now I understand the situation. You still had some old log files with formal content, whose format I've changed again in the meantime. There was already some protection against such bad log files, but I did not handle all possible exceptions (due to the general confusion about exceptions on the JVM). This should be more robust in Isabelle/d8ca566b22b3. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev