[isabelle-dev] Automated testing questions

[Tjark Weber]

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.

Tjark