Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. update to windows_app-20240205, with executables for linux, linux_arm, macos;
  3. omit redundant options;
  4. tuned README;
  5. uniform build of binutils for linux, linux_arm, macos;
  6. fix reconstruction of Alethe's and_pos rule
  7. added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult
Changeset 79581:163b554af747 by wenzelm:
merged;
Changeset 79580:37e57ac55559 by wenzelm:
update to windows_app-20240205, with executables for linux, linux_arm, macos;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 79579:72cb42f2db0a by wenzelm:
omit redundant options;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79578:4c4d71b00001 by wenzelm:
tuned README;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79577:1c63babf226e by wenzelm:
uniform build of binutils for linux, linux_arm, macos;
The file was modified src/Pure/Admin/component_windows_app.scala (diff)
Changeset 79576:157de27b0863 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
fix reconstruction of Alethe's and_pos rule
The file was modified src/HOL/SMT.thy (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.certs (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.thy (diff)
The file was modified src/HOL/Tools/SMT/lethe_replay_methods.ML (diff)
The file was modified src/HOL/Tools/SMT/smt_replay_arith.ML (diff)
Changeset 79575:b21d8401f0ca by desharna:
added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)