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;
authorwenzelm
Mon, 04 Jan 2021 13:01:47 +0100
changeset 73041 66b45c3389d3
parent 73040 382309d4b4dc
child 73042 22f5a6283477
tuned;
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/presentation.scala	Sun Jan 03 23:16:32 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Mon Jan 04 13:01:47 2021 +0100
@@ -405,7 +405,7 @@
         doc
       }
 
-    val links =
+    val view_links =
     {
       val deps_link =
         HTML.link(session_graph_path, HTML.text("theory dependencies"))
@@ -519,7 +519,7 @@
     val title = "Session " + session
     HTML.write_document(session_dir, "index.html",
       List(HTML.title(title + " (" + Distribution.version + ")")),
-      html_context.head(title, List(HTML.par(links))) ::
+      html_context.head(title, List(HTML.par(view_links))) ::
         html_context.contents("Theories", theories))
   }
isabelle