Nicolò Cavalleri (Jun 29 2021 at 14:38): Nicolò Cavalleri (Jun 29 2021 at 14:38):How do I increase sledgehammer's timeout in the standard Isabelle IDE?
Lukas Stevens (Jun 29 2021 at 14:49):The Isabelle Reference Manual suggests sledgehammer [timeout = 60]
Nicolò Cavalleri (Jun 29 2021 at 14:53):Thank you for your answer! I was actually wondering if there were a way to increase it for the sledgehammer panel in the IDE!
Lukas Stevens (Jun 29 2021 at 15:07):Utilities > Plugin Options > Isabelle > General > Sledgehammer Timeout
Last updated: Dec 21 2024 at 16:20 UTC