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 65797 d76c9c5c0656
parent 65793 96b4799a2e04
child 65836 3b4877fbd9cb 
--- a/src/Pure/Admin/isabelle_devel.scala	Tue May 09 21:43:46 2017 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Wed May 10 11:13:18 2017 +0200
@@ -44,7 +44,8 @@
               List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) :::
               HTML.text(" information (e.g. for ") :::
               List(HTML.link("http://sqlitebrowser.org",
-                List(HTML.code(HTML.text("sqlitebrowser"))))))))))
+                List(HTML.code(HTML.text("sqlitebrowser"))))) :::
+              HTML.text(")"))))))
   }
isabelle