Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned Sledgehammer messages
  2. respect timeout better
Changeset 78645:de8081bc85a0 by blanchet:
tuned Sledgehammer messages
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
Changeset 78644:a7bcd2af7190 by blanchet:
respect timeout better
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)