Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. documented Mirabelle_Sledgehammer's new keep semantics
  2. changed Mirabelle_Sledgehammer keep option from path to boolean
Changeset 74079:180ee02eb075 by desharna:
documented Mirabelle_Sledgehammer's new keep semantics
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 74078:a2cbe81e1e32 by desharna:
changed Mirabelle_Sledgehammer keep option from path to boolean
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)
The file was modified src/HOL/Tools/etc/options (diff)