[isabelle-dev] Automated testing questions
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.
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