equal
deleted
inserted
replaced
757 bundle_info <- bundle_infos |
757 bundle_info <- bundle_infos |
758 if (release.dist_dir + bundle_info.path).is_file |
758 if (release.dist_dir + bundle_info.path).is_file |
759 } yield (bundle_info.name, bundle_info) |
759 } yield (bundle_info.name, bundle_info) |
760 |
760 |
761 val isabelle_link = |
761 val isabelle_link = |
762 HTML.link(Isabelle_System.isabelle_repository + "/rev/" + release.ident, |
762 HTML.link(Isabelle_System.isabelle_repository.rev(release.ident), |
763 HTML.text("Isabelle/" + release.ident)) |
763 HTML.text("Isabelle/" + release.ident)) |
764 val afp_link = |
764 val afp_link = |
765 HTML.link(Isabelle_System.afp_repository + "/rev/" + afp_rev, HTML.text("AFP/" + afp_rev)) |
765 HTML.link(Isabelle_System.afp_repository.rev(afp_rev), HTML.text("AFP/" + afp_rev)) |
766 |
766 |
767 HTML.write_document(dir, "index.html", |
767 HTML.write_document(dir, "index.html", |
768 List(HTML.title(release.dist_name)), |
768 List(HTML.title(release.dist_name)), |
769 List( |
769 List( |
770 HTML.section(release.dist_name), |
770 HTML.section(release.dist_name), |