Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more NEWS;
  2. tuned structure;
  3. update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
  4. updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
  5. proper options for macOS 11 Big Sur;
  6. support for official release of polyml-5.9.1;
  7. updated Linux baseline to Ubuntu 18.04;
  8. support for macOS 14 Sonoma (only for testing);
  9. more platform tests: initial support for macOS 14 Sonoma;
  10. updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
Changeset 78779:0b9d7d35bcaa by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 78778:d495e71707d4 by wenzelm:
tuned structure;
The file was modified NEWS (diff)
Changeset 78777:3b424f9cd5eb by wenzelm:
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
The file was modified Admin/components/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78776:62b64f168c31 by wenzelm:
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 78775:e5b2574f6462 by wenzelm:
proper options for macOS 11 Big Sur;
The file was modified src/Pure/Admin/component_polyml.scala (diff)
Changeset 78774:99ff760cf63a by wenzelm:
support for official release of polyml-5.9.1;
The file was modified src/Pure/Admin/component_polyml.scala (diff)
Changeset 78773:9198e785d3d7 by wenzelm:
updated Linux baseline to Ubuntu 18.04;
The file was modified Admin/components/PLATFORMS (diff)
The file was modified src/Pure/System/executable.scala (diff)
Changeset 78772:b8c0a45e3381 by wenzelm:
support for macOS 14 Sonoma (only for testing);
The file was modified src/Pure/Admin/component_polyml.scala (diff)
Changeset 78771:d7f4c5c7bebb by wenzelm:
more platform tests: initial support for macOS 14 Sonoma;
The file was modified Admin/components/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78770:8a7c0f8fc9d2 by wenzelm:
updated to gmp-6.3.0, for the sake of macOS 14 Sonoma;
The file was modified src/Pure/Admin/component_polyml.scala (diff)