--- a/README_REPOSITORY Sat Mar 27 19:46:02 2021 +0100
+++ b/README_REPOSITORY Sat Mar 27 20:24:04 2021 +0100
@@ -18,25 +18,17 @@
cd isabelle
- ./bin/isabelle components -I
-
- ./bin/isabelle components -a
+ ./bin/isabelle setup
- ./bin/isabelle jedit -l HOL
+ ./bin/isabelle jedit -l HOL #start Prover IDE and let it build session image
- ./bin/isabelle build -b HOL #optional: build session image manually
+ ./bin/isabelle build -b HOL #alternative: build session image manually
3. Update repository to particular version (bash shell commands):
cd isabelle
- hg pull https://isabelle.in.tum.de/repos/isabelle
-
- hg update -r VERSION #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f"
-
- ./bin/isabelle components -a
-
- ./bin/isabelle jedit -l HOL
+ ./bin/isabelle -r VERSION #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f"
4. Build documentation (bash shell commands):