changeset 72599 | 76550282267f |
parent 72595 | c806eeb9138c |
child 72600 | 2fa4f25d9d07 |
--- a/src/Pure/Thy/present.scala Thu Nov 12 16:07:25 2020 +0100 +++ b/src/Pure/Thy/present.scala Thu Nov 12 16:27:31 2020 +0100 @@ -278,7 +278,8 @@ "isabelle latex -o " + Bash.string(fmt) + " " + Bash.string(root + "." + ext) def bash(items: String*): Process_Result = - progress.bash(items.mkString(" && "), cwd = doc_dir.file, echo = verbose_latex) + progress.bash(items.mkString(" && "), cwd = doc_dir.file, + echo = verbose_latex, watchdog = Time.seconds(0.5)) // prepare document