Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS
  2. merged
  3. fixed NEWS following cee0b9fccf6f
  4. renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
  5. merged
  6. proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build";
  7. tuned whitespace;
  8. less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load;
  9. tuned comment;
  10. support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
  11. updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
  12. more robust: prefer Windows $USERNAME;
  13. proper home directory for ssh configuration (e.g. ~/.ssh/config); avoid redundant mkpasswd + mkgroup information, as recommended by Cygwin documentation;
  14. more NEWS;
  15. clarified signature: more arguments;
  16. added lemma fimage_strict_mono
Changeset 76284:71bf371a9784 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 76283:bed09d3ddc23 by desharna:
merged
Changeset 76282:3158975d80e2 by desharna:
fixed NEWS following cee0b9fccf6f
The file was modified NEWS (diff)
Changeset 76281:457f1cba78fb by desharna:
renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
The file was modified NEWS (diff)
The file was modified src/HOL/BNF_Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
Changeset 76280:e381884c09d4 by wenzelm:
merged
Changeset 76279:2d4ff8c166d2 by wenzelm:
proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build";
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76278:6aeb18e8a557 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 76277:f0d8f659b19a by wenzelm:
less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load;
The file was modified src/Pure/General/bytes.ML (diff)
Changeset 76276:13b733e78c26 by wenzelm:
tuned comment;
The file was modified etc/options (diff)
Changeset 76275:b446004b2464 by wenzelm:
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/settings (diff)
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 76274:793171d7800b by wenzelm:
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 76273:4c7e8d01f6b9 by wenzelm:
more robust: prefer Windows $USERNAME;
The file was modified Admin/Windows/Cygwin/isabelle/postinstall (diff)
Changeset 76272:b8072e5a1637 by wenzelm:
proper home directory for ssh configuration (e.g. ~/.ssh/config);<br>avoid redundant mkpasswd + mkgroup information, as recommended by Cygwin documentation;
The file was modified Admin/Windows/Cygwin/isabelle/postinstall (diff)
Changeset 76271:7eedccabbc74 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 76270:d3fce4feb142 by wenzelm:
clarified signature: more arguments;
The file was modified src/Pure/General/http.scala (diff)
Changeset 76269:cee0b9fccf6f by desharna:
added lemma fimage_strict_mono
The file was modified NEWS (diff)
The file was modified src/HOL/Library/FSet.thy (diff)