#3859 (Aug 17, 2022, 1:42:05 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. tuned comments; (detail / hgweb)
2. updated to sumatra_pdf-3.4.6; (detail / hgweb)
3. proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 43 min build duration;
• 45 min total from scheduled to completion.