Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"
  3. proper name mangling of "undefined" constants in Sledgehammer
Changeset 74982:a10873b3c7d4 by desharna:
merged
Changeset 74981:10df7a627ab6 by desharna:
split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"
The file was modified NEWS (diff)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/TPTP/mash_eval.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
Changeset 74980:8dd527e97ddb by desharna:
proper name mangling of "undefined" constants in Sledgehammer
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)