author | wenzelm |
Sat, 17 Apr 2021 19:47:08 +0200 | |
changeset 73590 | 1aa9ef7a3eaf |
parent 73589 | 479e9b17090e |
child 73591 | c1f8aaa13ee3 |
README_REPOSITORY | file | annotate | diff | comparison | revisions |
--- 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: