Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
  2. detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
  3. proper purge for arm64-darwin;
  4. updated jdk-15.0.1+9, including arm64-darwin;
  5. discontinued somethat pointless sharing: too complicated;
  6. less verbose;
  7. more robust sharing, despite minimal impact on archive size;
  8. proper LSMinimumSystemVersion for zulu-jdk-15;
  9. obsolete, thanks to zulu-jdk directory layout;
  10. clarified Info.plist;
  11. more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
  12. prefer OpenJDK from Azul: supports more versions and platforms; support arm64-darwin;
  13. sort lines;
  14. tuned;
  15. more NEWS;
  16. recovered file-type icons from macos_app;
Changeset 73092:131ab1a941dd by wenzelm:
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
The file was modified etc/settings (diff)
Changeset 73091:bf573ed376ef by wenzelm:
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle;
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 73090:9db6072eb711 by wenzelm:
proper purge for arm64-darwin;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 73089:af54129abd9e by wenzelm:
updated jdk-15.0.1+9, including arm64-darwin;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73088:99b77188d4f7 by wenzelm:
discontinued somethat pointless sharing: too complicated;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73087:198fe1e7ed32 by wenzelm:
less verbose;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73086:178c9d04e08c by wenzelm:
more robust sharing, despite minimal impact on archive size;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73085:b595bcdf5bf3 by wenzelm:
proper LSMinimumSystemVersion for zulu-jdk-15;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73084:4f1df8d3707b by wenzelm:
obsolete, thanks to zulu-jdk directory layout;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73083:4a117b57e622 by wenzelm:
clarified Info.plist;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 73082:e67d659d7a41 by wenzelm:
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73081:120ffea2c244 by wenzelm:
prefer OpenJDK from Azul: supports more versions and platforms;<br>support arm64-darwin;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
Changeset 73080:b34d24153a47 by wenzelm:
sort lines;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 73079:66d775f7a6e8 by wenzelm:
tuned;
The file was modified CONTRIBUTORS (diff)
Changeset 73078:824815ec52aa by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 73077:75bd49ba9c28 by wenzelm:
recovered file-type icons from macos_app;
The file was addedlib/logo/theory.icns
The file was modified src/Pure/Admin/build_release.scala (diff)