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