# HG changeset patch
# User wenzelm
# Date 1617182468 -7200
# Node ID ef5440f4fcc44cb878a1b4d1d759b31754169075
# Parent  ae5fa3ca41b9d1d6a14d24d9fae7a32ea709060e
tuned;

diff -r ae5fa3ca41b9 -r ef5440f4fcc4 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):