Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)
  2. moved contribution to right release
  3. more explicit pull;
Changeset 64434:af5235830c16 by kuncar:
always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46)
The file was modified src/HOL/Tools/Transfer/transfer.ML (diff)
Changeset 64433:d4829dc875fb by blanchet:
moved contribution to right release
The file was modified CONTRIBUTORS (diff)
Changeset 64432:c381bfd068fd by wenzelm:
more explicit pull;
The file was modified Admin/cronjob/self_update (diff)