[isabelle-dev] Automated testing questions

Tjark Weber webertj at in.tum.de
Mon Mar 18 14:31:23 CET 2013

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.


More information about the isabelle-dev mailing list