--- a/src/Pure/Admin/build_release.scala Wed Apr 28 23:20:05 2021 +0200
+++ b/src/Pure/Admin/build_release.scala Thu Apr 29 15:49:04 2021 +0200
@@ -759,10 +759,11 @@
} yield (bundle_info.name, bundle_info)
val isabelle_link =
- HTML.link(Isabelle_System.isabelle_repository.rev(release.ident),
+ HTML.link(Isabelle_System.isabelle_repository.changeset(release.ident),
HTML.text("Isabelle/" + release.ident))
val afp_link =
- HTML.link(Isabelle_System.afp_repository.rev(afp_rev), HTML.text("AFP/" + afp_rev))
+ HTML.link(Isabelle_System.afp_repository.changeset(afp_rev),
+ HTML.text("AFP/" + afp_rev))
HTML.write_document(dir, "index.html",
List(HTML.title(release.dist_name)),