# HG changeset patch
# User wenzelm
# Date 1717271551 -7200
# Node ID c6670f9575dedc98dfd843bc5e5ee61c5ef5c7ec
# Parent  06036a16779f5f7d9f975157bd806e17c908cd0f
clarified signature;

diff -r 06036a16779f -r c6670f9575de src/Pure/System/progress.scala
--- a/src/Pure/System/progress.scala	Sat Jun 01 21:49:50 2024 +0200
+++ b/src/Pure/System/progress.scala	Sat Jun 01 21:52:31 2024 +0200
@@ -98,14 +98,14 @@
     env: JMap[String, String] = Isabelle_System.settings(),  // ignored for remote ssh
     redirect: Boolean = false,
     echo: Boolean = false,
-    watchdog: Time = Time.zero,
+    watchdog_time: Time = Time.zero,
     strict: Boolean = true
   ): Process_Result = {
     val result =
       Isabelle_System.bash(script, ssh = ssh, cwd = cwd, env = env, redirect = redirect,
         progress_stdout = echo_if(echo, _),
         progress_stderr = echo_if(echo, _),
-        watchdog = Bash.Watchdog(watchdog, _ => stopped),
+        watchdog = Bash.Watchdog(watchdog_time, _ => stopped),
         strict = strict)
     if (strict && stopped) throw Exn.Interrupt() else result
   }
diff -r 06036a16779f -r c6670f9575de src/Pure/Thy/document_build.scala
--- 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