Stream: Beginner Questions

Topic: Sledgehammer timeout option


view this post on Zulip Nicolò Cavalleri (Jun 29 2021 at 14:38):

How do I increase sledgehammer's timeout in the standard Isabelle IDE?

view this post on Zulip Lukas Stevens (Jun 29 2021 at 14:49):

The Isabelle Reference Manual suggests sledgehammer [timeout = 60]

view this post on Zulip 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!

view this post on Zulip Lukas Stevens (Jun 29 2021 at 15:07):

Utilities > Plugin Options > Isabelle > General > Sledgehammer Timeout


Last updated: Sep 25 2022 at 23:25 UTC