Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned comments;
  2. updated to sumatra_pdf-3.4.6;
  3. proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
Changeset 75871:648fe09330f3 by wenzelm:
tuned comments;
The file was modified Admin/components/windows
Changeset 75870:2bf1210eeef1 by wenzelm:
updated to sumatra_pdf-3.4.6;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/windows
Changeset 75869:ee2f93fa2440 by wenzelm:
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Tools/scala_build.scala
The file was modified src/Tools/Setup/src/Build.java