Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. tuned signature;
  3. Added tag Isabelle2024-RC0 for changeset 98f009f56400
  4. updated for release;
  5. updated for release;
  6. clarified signature;
  7. misc tuning for release;
  8. tuned whitespace: avoid TABs;
  9. avoid suspicious Unicode;
  10. tuned whitespace;
  11. tuned signature: fewer warnings in IntelliJ IDEA;
  12. merged
  13. update NEWS;
  14. update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
  15. drop unused Task.info field;
  16. proper guard_time (amending 752806151432);
  17. proper dynamic access (amending c3f07c950116);
  18. more robust, notably for remote process (via SSH);
  19. prefer dynamic objects, following a5fda30edae2;
  20. proper dynamic access (amending 52b5c7c8e6d9);
  21. clarified signature: incorporate guard into Logger;
  22. merged
  23. added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp
  24. Moving valuable library material from Martingales into the distribution
Changeset 79795:3b1ad072d59a by wenzelm:
tuned;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79794:aa03d1a94e3e by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79793:6f08aef43dc5 by wenzelm:
Added tag Isabelle2024-RC0 for changeset 98f009f56400
The file was modified .hgtags (diff)
Changeset 79792:98f009f56400 by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 79791:0f95dfe27682 by wenzelm:
updated for release;
The file was modified CONTRIBUTORS (diff)
Changeset 79790:3e5a06add554 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build_process.scala (diff)
Changeset 79789:6fadff9e849a by wenzelm:
misc tuning for release;
The file was modified NEWS (diff)
Changeset 79788:ece213b90d0f by wenzelm:
tuned whitespace: avoid TABs;
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)
Changeset 79787:b053bd598887 by wenzelm:
avoid suspicious Unicode;
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
Changeset 79786:589112078150 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/component_cygwin.scala (diff)
Changeset 79785:5e7a594b53b1 by wenzelm:
tuned signature: fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79784:a79280c7e8d5 by wenzelm:
merged
Changeset 79783:60e985e2a12f by wenzelm:
update NEWS;
The file was modified NEWS (diff)
Changeset 79782:8bde94328b05 by wenzelm:
update cygwin near 3.5.1-1, also see https://cygwin.com/pipermail/cygwin-announce/2024-February/011524.html and https://cygwin.com/pipermail/cygwin-announce/2024-February/011611.html
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/components/PLATFORMS (diff)
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/component_cygwin.scala (diff)
Changeset 79781:a8d7cf8acaa6 by wenzelm:
drop unused Task.info field;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79780:8e17f585177f by wenzelm:
proper guard_time (amending 752806151432);
The file was modified src/Pure/General/logger.scala (diff)
Changeset 79779:f1c9e9e4616d by wenzelm:
proper dynamic access (amending c3f07c950116);
The file was modified src/Pure/General/logger.scala (diff)
Changeset 79778:42c3e6dc57d9 by wenzelm:
more robust, notably for remote process (via SSH);
The file was modified src/Pure/General/logger.scala (diff)
Changeset 79777:db9c6be8e236 by wenzelm:
prefer dynamic objects, following a5fda30edae2;
The file was modified src/Pure/Build/build_benchmark.scala (diff)
The file was modified src/Pure/Build/resources.scala (diff)
The file was modified src/Pure/Concurrent/delay.scala (diff)
The file was modified src/Pure/General/logger.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 79776:c3f07c950116 by wenzelm:
proper dynamic access (amending 52b5c7c8e6d9);
The file was modified src/Pure/General/logger.scala (diff)
Changeset 79775:752806151432 by wenzelm:
clarified signature: incorporate guard into Logger;
The file was modified src/Pure/General/logger.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
Changeset 79774:1f94d92b0dc2 by desharna:
merged
Changeset 79773:0e8620af9c91 by desharna:
added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp
The file was modified NEWS (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 79772:817d33f8aa7f by paulson _lp15@cam.ac.uk_:
Moving valuable library material from Martingales into the distribution
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Probability/Information.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)