# HG changeset patch
# User wenzelm
# Date 1616882637 -3600
# Node ID 53626e34d1cab55bec4a9d4d40d5ef2229d03d3f
# Parent  f5e9ade80579577f7cda0189e4ab910d819680a5
tuned;

diff -r f5e9ade80579 -r 53626e34d1ca README_REPOSITORY
--- a/README_REPOSITORY	Sat Mar 27 22:59:12 2021 +0100
+++ b/README_REPOSITORY	Sat Mar 27 23:03:57 2021 +0100
@@ -28,7 +28,7 @@
 
     cd isabelle
 
-    #current remote version
+    #remote tip version
     ./bin/isabelle setup -u
 
     #explicit changeset id or tag (e.g. "Isabelle2021")