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 signature;
authorwenzelm
Wed, 17 Aug 2022 15:49:59 +0200
changeset 75888 61521fd28e97
parent 75887 e5c0116a5c9f
child 75889 ffa97500a1ac
tuned signature;
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle