Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. update to polyml-5e9c8155ea96, which is more robust on arm64;
  2. more robust dependencies for Pure;
  3. proper compiler root for arm64;
Changeset 77193:014c3d00e0f1 by wenzelm:
update to polyml-5e9c8155ea96, which is more robust on arm64;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 77192:198697983eec by wenzelm:
more robust dependencies for Pure;
The file was modified src/Pure/Tools/build.scala
Changeset 77191:c42bf52381f1 by wenzelm:
proper compiler root for arm64;
The file was modified src/Pure/Admin/build_polyml.scala