--- a/README_REPOSITORY Sun Mar 28 11:45:00 2021 +0200
+++ b/README_REPOSITORY Sun Mar 28 11:59:30 2021 +0200
@@ -17,12 +17,6 @@
hg clone https://isabelle.in.tum.de/repos/isabelle
isabelle/Admin/setup
- #optional: start Prover IDE and let it build session image
- isabelle/bin/isabelle jedit -l HOL
-
- #optional: build session image manually
- isabelle/bin/isabelle build -b HOL
-
3. Update repository to particular versions (bash shell commands):
#remote tip version
@@ -34,8 +28,15 @@
#current official release
isabelle/Admin/setup -R
+4. Run application:
-4. Build documentation (bash shell commands):
+ #start Prover IDE and let it build session image
+ isabelle/bin/isabelle jedit -l HOL
+
+ #alternative: build session image manually
+ isabelle/bin/isabelle build -b HOL
+
+5. Build documentation (bash shell commands):
isabelle/bin/isabelle build_doc -a