# HG changeset patch
# User wenzelm
# Date 1660744199 -7200
# Node ID 61521fd28e9762df8a7678b9f65ad8535615e62f
# Parent  e5c0116a5c9f6ae1ba7c373bad4ba97a99c7b95e
tuned signature;

diff -r e5c0116a5c9f -r 61521fd28e97 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 15:44:51 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Wed Aug 17 15:49:59 2022 +0200
@@ -511,8 +511,8 @@
 
   /* present session */
 
-  val session_graph_path = Path.explode("session_graph.pdf")
-  val readme_path = Path.explode("README.html")
+  val session_graph_path: Path = Path.explode("session_graph.pdf")
+  val readme_path: Path = Path.explode("README.html")
 
   def html_name(name: Document.Node.Name): String = Path.explode(name.theory_base_name).html.implode
   def files_path(src_path: Path): String = (Path.explode("files") + src_path.squash.html).implode