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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
