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/Thy/document_build.scala
changeset 80236 c6670f9575de
parent 80224 db92e0b6a11a
child 80480 972f7a4cdc0e 
--- a/src/Pure/Thy/document_build.scala	Sat Jun 01 21:49:50 2024 +0200
+++ b/src/Pure/Thy/document_build.scala	Sat Jun 01 21:52:31 2024 +0200
@@ -456,7 +456,7 @@
           build_script(context, directory),
           cwd = directory.doc_dir,
           echo = verbose,
-          watchdog = Time.seconds(0.5))
+          watchdog_time = Time.seconds(0.5))
 
       val log = result.out_lines ::: result.err_lines
       val err = result.err
isabelle