Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
  2. merged
  3. obsolete: base-line is macOS 11;
  4. more robust: always assume x86_64 (or its emulation on ARM);
  5. MLton lacks arm64-linux (see also 84f2d481d6d7);
  6. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
  7. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
  8. tuned;
  9. merged
  10. misc updates, tuning and clarification;
  11. reformat source in jEdit (wrap margin 78);
  12. more accurate Markdown formatting, both for VSCode and Phabricator;
  13. just one README.md;
Changeset 80721:dca9c237d108 by desharna:
added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 80720:9df291750cc0 by desharna:
merged
Changeset 80719:e94a36467f4e by wenzelm:
obsolete: base-line is macOS 11;
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 80718:9b532f064649 by wenzelm:
more robust: always assume x86_64 (or its emulation on ARM);
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 80717:2dcbf5cbc7a1 by wenzelm:
MLton lacks arm64-linux (see also 84f2d481d6d7);
The file was modified NEWS (diff)
Changeset 80716:205bad84a1bd by wenzelm:
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 80715:99511fa536a1 by wenzelm:
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/Admin/component_stack.scala (diff)
Changeset 80714:34420f5f2e92 by wenzelm:
tuned;
The file was modified Admin/components/README.md (diff)
Changeset 80713:917a9856bb3a by wenzelm:
merged
Changeset 80712:36e33d227bf0 by wenzelm:
misc updates, tuning and clarification;
The file was modified Admin/components/README.md (diff)
Changeset 80711:3b64d268e5b0 by wenzelm:
reformat source in jEdit (wrap margin 78);
The file was modified Admin/components/README.md (diff)
Changeset 80710:980cefd8ff9b by wenzelm:
more accurate Markdown formatting, both for VSCode and Phabricator;
The file was modified Admin/components/README.md (diff)
Changeset 80709:5c50763f2999 by wenzelm:
just one README.md;
The file was addedAdmin/components/README.md
The file was removedAdmin/components/PLATFORMS
The file was removedAdmin/components/README