diff -r 1d4c9fa00821 -r 386416437ce9 README_REPOSITORY
--- a/README_REPOSITORY	Fri Apr 16 21:50:47 2021 +0200
+++ b/README_REPOSITORY	Fri Apr 16 21:54:08 2021 +0200
@@ -29,7 +29,7 @@
     isabelle/Admin/init -t -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
-    isabelle/Admin/init -r 7cdcf131699d
+    isabelle/Admin/init -r 1d4c9fa00821
 
 4. Run application: