Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. print outcome of Sledgehammer search in panel
  2. print Sledgehammer error message
Changeset 75076:3bcbc4d12916 by blanchet:
print outcome of Sledgehammer search in panel
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
Changeset 75075:27c93bfb0016 by blanchet:
print Sledgehammer error message
The file was modified src/HOL/Tools/ATP/atp_proof.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)