# HG changeset patch
# User wenzelm
# Date 1618602848 -7200
# Node ID 386416437ce9026de2955413d316f3b8dd2854f3
# Parent  1d4c9fa00821986ba62625dd0a00495c79f4d9df
updated example;

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: