Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified signature --- more positions;
  3. clarified signature;
  4. tuned proof preplay to explicitly refer to Z3 backend
Changeset 72801:51683cd9d7fa by wenzelm:
merged
Changeset 72800:85bcdd05c6d0 by wenzelm:
clarified signature --- more positions;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
Changeset 72799:5dc7165e8a26 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72798:e732c98b02e6 by desharna:
tuned proof preplay to explicitly refer to Z3 backend
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML (diff)