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 73055 3e4df2e689ff
parent 73036 b028e8d22d8d
child 73340 0ffcad1f6130 
--- a/src/Pure/Tools/build.scala	Tue Jan 05 13:08:45 2021 +0100
+++ b/src/Pure/Tools/build.scala	Tue Jan 05 14:21:18 2021 +0100
@@ -516,7 +516,7 @@
             Presentation.session_html(
               resources, session_name, deps, db_context, progress = progress,
               verbose = verbose, html_context = html_context,
-              html_elements = Presentation.html_elements1, presentation = presentation)
+              elements = Presentation.elements1, presentation = presentation)
           })
 
         val browser_chapters =
isabelle