changeset 73516 | ef5440f4fcc4 |
parent 73514 | 01acd0eb29ce |
child 73584 | 1d4c9fa00821 |
--- a/README_REPOSITORY Wed Mar 31 11:17:45 2021 +0200 +++ b/README_REPOSITORY Wed Mar 31 11:21:08 2021 +0200 @@ -33,7 +33,7 @@ #start Prover IDE and let it build session image isabelle/bin/isabelle jedit -l HOL - #alternative: build session image manually + #alternative: build session image separately isabelle/bin/isabelle build -b HOL 5. Build documentation (bash shell commands):