Hi Florian, Am 27.12.2013 um 10:04 schrieb Florian Haftmann <[email protected]>:
> But I am uncertain whether this timeout should be restricted to > interactive mode anyway. > > Any suggestions? I would suggest simply raising the timeout for that example. In "Nitpick_Examples", we have had hard-coded timeouts for years that have applied for both interactive and noninteractive sessions and this has worked very well (even though it's not very elegant). Cheers, Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
