Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned output;
authorwenzelm
Wed, 10 May 2017 11:13:18 +0200
changeset 65797 d76c9c5c0656
parent 65796 7d1c5150af70
child 65798 d459db0f6135
tuned output;
src/Pure/Admin/isabelle_devel.scala file | annotate | diff | comparison | revisions 
--- 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