[isabelle-dev] Automated testing questions

[Makarius]

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.
>
> Occasionally
>
>  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?


 	Makarius