31 List( |
31 List( |
32 HTML.text("Isabelle nightly ") ::: |
32 HTML.text("Isabelle nightly ") ::: |
33 List(HTML.link(RELEASE_SNAPSHOT, HTML.text("release snapshot"))) ::: |
33 List(HTML.link(RELEASE_SNAPSHOT, HTML.text("release snapshot"))) ::: |
34 HTML.text(" (for all platforms)"), |
34 HTML.text(" (for all platforms)"), |
35 |
35 |
|
36 HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file"))), |
|
37 |
36 HTML.text("Isabelle ") ::: |
38 HTML.text("Isabelle ") ::: |
37 List(HTML.link(BUILD_STATUS + "/index.html", HTML.text("build status"))) ::: |
39 List(HTML.link(BUILD_STATUS + "/index.html", HTML.text("build status"))) ::: |
38 HTML.text(" information"), |
40 HTML.text(" information"), |
39 |
41 |
40 HTML.text("Database with recent ") ::: |
42 HTML.text("Database with recent ") ::: |
41 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) ::: |
43 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) ::: |
42 HTML.text(" information (e.g. for ") ::: |
44 HTML.text(" information (e.g. for ") ::: |
43 List(HTML.link("https://sqlitebrowser.org", |
45 List(HTML.link("https://sqlitebrowser.org", |
44 List(HTML.code(HTML.text("sqlitebrowser"))))) ::: |
46 List(HTML.code(HTML.text("sqlitebrowser"))))) ::: |
45 HTML.text(")"), |
47 HTML.text(")"))))) |
46 |
|
47 HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file"))))))) |
|
48 } |
48 } |
49 |
49 |
50 |
50 |
51 /* release snapshot */ |
51 /* release snapshot */ |
52 |
52 |