How do I increase sledgehammer's timeout in the standard Isabelle IDE?
The Isabelle Reference Manual suggests
sledgehammer [timeout = 60]
Thank you for your answer! I was actually wondering if there were a way to increase it for the sledgehammer panel in the IDE!
Utilities > Plugin Options > Isabelle > General > Sledgehammer Timeout
Last updated: Aug 13 2022 at 05:18 UTC