Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- compile
- correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output
The file was modified | src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML |
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer.ML |