Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.scala
changeset 74731 161e84e6b40a
parent 74715 129fb11b357f
child 74755 510296c0d8d1 
--- a/src/Pure/Tools/build.scala	Mon Nov 08 09:31:26 2021 +0000
+++ b/src/Pure/Tools/build.scala	Mon Nov 08 12:45:35 2021 +0100
@@ -507,7 +507,7 @@
         }
 
         val resources = Resources.empty
-        val html_context = Presentation.html_context()
+        val html_context = Presentation.html_context(cache = store.cache)
 
         using(store.open_database_context())(db_context =>
           for (info <- presentation_sessions) {
isabelle