Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. obsolete: base-line is macOS 11;
  2. more robust: always assume x86_64 (or its emulation on ARM);
  3. MLton lacks arm64-linux (see also 84f2d481d6d7);
  4. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
  5. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
  6. tuned;
  7. merged
  8. misc updates, tuning and clarification;
  9. reformat source in jEdit (wrap margin 78);
  10. more accurate Markdown formatting, both for VSCode and Phabricator;
  11. just one README.md;
  12. tuned
  13. merged
  14. more accurate platform directories: pkg/tool structure is hardwired in "go";
  15. support for etc/platform.props, to specify multi-platform directory structure more accurately;
  16. clarified signature;
  17. tuned;
  18. clarified modules;
  19. clarified modules;
  20. build Isabelle component for Go: all platforms;
  21. misc tuning;
  22. just one copy of darwin-universal.tar.gz;
  23. documented running time function framework by Jonas Stahl
  24. merged
  25. redefined wf as an abbreviation for "wf_on UNIV"
Changeset 79995:e94a36467f4e by wenzelm:
obsolete: base-line is macOS 11;
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 79994:9b532f064649 by wenzelm:
more robust: always assume x86_64 (or its emulation on ARM);
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 79993:2dcbf5cbc7a1 by wenzelm:
MLton lacks arm64-linux (see also 84f2d481d6d7);
The file was modified NEWS (diff)
Changeset 79992: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 79991: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 79990:34420f5f2e92 by wenzelm:
tuned;
The file was modified Admin/components/README.md (diff)
Changeset 79989:917a9856bb3a by wenzelm:
merged
Changeset 79988:36e33d227bf0 by wenzelm:
misc updates, tuning and clarification;
The file was modified Admin/components/README.md (diff)
Changeset 79987:3b64d268e5b0 by wenzelm:
reformat source in jEdit (wrap margin 78);
The file was modified Admin/components/README.md (diff)
Changeset 79986:980cefd8ff9b by wenzelm:
more accurate Markdown formatting, both for VSCode and Phabricator;
The file was modified Admin/components/README.md (diff)
Changeset 79985: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
Changeset 79984:c2cca97a5797 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Leftist_Heap_List.thy (diff)
Changeset 79983:ee45e96eb7c5 by wenzelm:
merged
Changeset 79982:013558fd6fed by wenzelm:
more accurate platform directories: pkg/tool structure is hardwired in "go";
The file was modified src/Pure/Admin/component_go.scala (diff)
Changeset 79981:bdea4eccd8d5 by wenzelm:
support for etc/platform.props, to specify multi-platform directory structure more accurately;
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 79980:ee04ce2ac13f by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/Tools/scala_build.scala (diff)
Changeset 79979:a4100b7ab951 by wenzelm:
tuned;
The file was modified src/Pure/General/mail.scala (diff)
Changeset 79978:2cc5182cbb08 by wenzelm:
clarified modules;
The file was modified src/Pure/System/components.scala (diff)
Changeset 79977:612f0bb14124 by wenzelm:
clarified modules;
The file was modified src/Pure/System/components.scala (diff)
Changeset 79976:c7e6a508a65b by wenzelm:
build Isabelle component for Go: all platforms;
The file was addedsrc/Pure/Admin/component_go.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 79975:90f4319c8b4f by wenzelm:
misc tuning;
The file was modified src/Pure/Admin/component_hugo.scala (diff)
Changeset 79974:f0150bc6fea5 by wenzelm:
just one copy of darwin-universal.tar.gz;
The file was modified src/Pure/Admin/component_hugo.scala (diff)
Changeset 79973:7bbb0d65ce72 by nipkow:
documented running time function framework by Jonas Stahl
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Data_Structures/Define_Time_Function.thy (diff)
Changeset 79972:217f8173d358 by desharna:
merged
Changeset 79971:033f90dc441d by desharna:
redefined wf as an abbreviation for "wf_on UNIV"
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Library/old_recdef.ML (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Nitpick.thy (diff)
The file was modified src/HOL/Tools/Function/induction_schema.ML (diff)
The file was modified src/HOL/Tools/Function/termination.ML (diff)
The file was modified src/HOL/Tools/Nitpick/nitpick_hol.ML (diff)
The file was modified src/HOL/Tools/Nunchaku/nunchaku_collect.ML (diff)
The file was modified src/HOL/Wellfounded.thy (diff)