Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. proper jEdit.props (amending ff716ecb0805);
  3. update to gmp-6.2.1, with support for arm64-darwin;
  4. clarified platforms;
  5. clarified options: implicitly support both x86_64 and arm64;
  6. tuned whitespace;
Changeset 73670:4121fc47432b by wenzelm:
merged
Changeset 73669:02351b514b34 by wenzelm:
proper jEdit.props (amending ff716ecb0805);
The file was modified src/Doc/JEdit/JEdit.thy
Changeset 73668:5e12dad8d09b by wenzelm:
update to gmp-6.2.1, with support for arm64-darwin;
The file was modified Admin/polyml/README
Changeset 73667:442460fba2a4 by wenzelm:
clarified platforms;
The file was modified src/Pure/Admin/build_polyml.scala
The file was modified src/Pure/System/isabelle_platform.scala
Changeset 73666:4d0df84a5b88 by wenzelm:
clarified options: implicitly support both x86_64 and arm64;
The file was modified src/Pure/Admin/build_polyml.scala
Changeset 73665:9ab1d5fa84d0 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_jedit.scala