Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Clarified timeouts for Isabelle/ML tools


view this post on Zulip Email Gateway (Mar 05 2021 at 21:32):

From: Makarius <makarius@sketis.net>
* General *

This refers to Isabelle/3b5196dac4c8.

Application: smt_timeout = 0 (unlimited) in Isabelle/f3378101f555.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC