Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Added tag Isabelle2022-RC0 for changeset b42e20adaeed
  2. proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
Changeset 75798:8b0dbfbde032 by wenzelm:
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
The file was modified .hgtags
Changeset 75797:b42e20adaeed by wenzelm:
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Tools/Setup/src/Build.java