Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
  2. clarified platforms;
Changeset 73672:70d3c7009a65 by wenzelm:
proper support for macOS/Rosetta: let "uname -m" report arm64 instead of x86_64;
The file was modified src/Pure/Admin/build_polyml.scala
Changeset 73671:7404f2e1d092 by wenzelm:
clarified platforms;
The file was modified NEWS
The file was modified lib/scripts/isabelle-platform
The file was modified src/Doc/System/Environment.thy
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/System/isabelle_platform.scala
The file was modified src/Pure/System/platform.scala