[isabelle-dev] Automated testing questions
makarius at sketis.net
Wed Mar 20 19:31:03 CET 2013
On Mon, 18 Mar 2013, Tjark Weber wrote:
> On Mon, 2013-03-18 at 12:16 +0100, Makarius wrote:
>> If anything is missing or wrong in README_REPOSITORY, I ask once again to
>> point it out, either on isabelle-dev or privately, and not to make
>> unreliable/unmaintained clones of such important information.
> cd isabelle
> hg pull -u
> ./bin/isabelle components -a
> ./bin/isabelle jedit -l HOL
> results in Scala build errors. If this is bound to happen from time to
> time, instructions on how to recover (possibly just mentioning -f) or a
> pointer to such instructions might be helpful.
OK, I will take it into account really soon, when rewriting the text once
more. (I've again got distracted by too many other things.)
Is there anything else for the "system" manual about isabelle build?
More information about the isabelle-dev