tuned;
authorwenzelm
Wed, 31 Mar 2021 11:21:08 +0200
changeset 73771 ef5440f4fcc4
parent 73770 ae5fa3ca41b9
child 73772 d3f2038198ae
tuned;
README_REPOSITORY
--- 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):