Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/isabelle_devel.scala
changeset 68224 1f7308050349
parent 67854 8374c80165e1
child 68229 18c36ac0acaa 
--- a/src/Pure/Admin/isabelle_devel.scala	Sat May 19 20:42:34 2018 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Sun May 20 11:57:17 2018 +0200
@@ -40,7 +40,7 @@
             HTML.text("Database with recent ") :::
             List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) :::
             HTML.text(" information (e.g. for ") :::
-            List(HTML.link("http://sqlitebrowser.org",
+            List(HTML.link("https://sqlitebrowser.org",
               List(HTML.code(HTML.text("sqlitebrowser"))))) :::
             HTML.text(")"),
isabelle