# HG changeset patch
# User wenzelm
# Date 1609761707 -3600
# Node ID 66b45c3389d3e87abcde6a7d785beea2d1737479
# Parent  382309d4b4dcb3ad1692f2c185416be286477907
tuned;

diff -r 382309d4b4dc -r 66b45c3389d3 src/Pure/Thy/presentation.scala
--- 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))
   }