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 72992 bcba32fd89de
parent 72962 af2d0e07493b
child 72993 6ead333e450d 
--- a/src/Pure/Tools/build.scala	Wed Dec 23 23:03:03 2020 +0100
+++ b/src/Pure/Tools/build.scala	Wed Dec 23 23:08:57 2020 +0100
@@ -510,7 +510,7 @@
             progress.expose_interrupt()
             progress.echo("Presenting " + session_name + " ...")
             Presentation.session_html(
-              resources, session_name, deps, db_context, html_context, presentation)
+              resources, session_name, deps, db_context, progress, html_context, presentation)
           })
 
         val browser_chapters =
isabelle