changeset 73590 | 1aa9ef7a3eaf |
parent 73589 | 479e9b17090e |
child 78479 | b2bb63d11ade |
--- a/README_REPOSITORY Sat Apr 17 19:45:12 2021 +0200 +++ b/README_REPOSITORY Sat Apr 17 19:47:08 2021 +0200 @@ -29,7 +29,7 @@ isabelle/Admin/init -u -L #explicit changeset id or tag (e.g. "Isabelle2021") - isabelle/Admin/init -r 1d4c9fa00821 + isabelle/Admin/init -r 479e9b17090e 4. Run application: