Stream: General

Topic: batch mode quick_and_dirty, but longer timeout for provers

view this post on Zulip Chengsong Tan (May 16 2024 at 09:49):

Hi,

Is there a way to set the timeout in the isabelle process command line tool when the quick_and_dirty flat is set?

Thanks a lot,
Chengsong

Last updated: Sep 15 2026 at 09:19 UTC