Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. unused;
  2. tuned;
  3. proper IPC for scheduled builds, following 7ae25372ab04;
  4. proper check (amending 9aef1d1535ff);
  5. more synced options (following 6e5397fcc41b);
  6. avoid [no_atp] declations shadowing propositions from sledgehammer
  7. track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
  8. use inherited build_start, following d9fc2cc37694;
  9. update NEWS + CONTRIBUTORS for release;
  10. Tuned proofs
Changeset 79898:db9a45e05b5b by fabian huch _huch@in.tum.de_:
unused;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79897:661fb7db57ca by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79896:2c9c5ae99a09 by fabian huch _huch@in.tum.de_:
proper IPC for scheduled builds, following 7ae25372ab04;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79895:4ec26ed6f481 by fabian huch _huch@in.tum.de_:
proper check (amending 9aef1d1535ff);
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79894:3acbfeec4a95 by fabian huch _huch@in.tum.de_:
more synced options (following 6e5397fcc41b);
The file was modified etc/options (diff)
Changeset 79893:7ea70796acaa by haftmann:
avoid [no_atp] declations shadowing propositions from sledgehammer
The file was modified src/HOL/Bit_Operations.thy (diff)
Changeset 79892:c793de82db34 by fabian huch _huch@in.tum.de_:
track start in build job results (following 9d484c5d3a63), so it can directly be written to build log database;
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79891:d8b4bfe82bb5 by fabian huch _huch@in.tum.de_:
use inherited build_start, following d9fc2cc37694;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79890:80487bd00820 by wenzelm:
update NEWS + CONTRIBUTORS for release;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 79889:b187c1b9d6a9 by haftmann:
Tuned proofs
The file was modified src/HOL/Algebra/Polynomial_Divisibility.thy (diff)