Diffusion Isabelle 3b5196dac4c8

clarified timeouts in Isabelle/ML;
3b5196dac4c8
Actions

Tags

None

Subscribers

None

Description

clarified timeouts in Isabelle/ML;

Details

Provenance

Authored on

Parents

rISABELLE3fb201ca8fb5: tuned --- more elementary Time operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3b5196dac4c8: clarified timeouts in Isabelle/ML;.Mar 5 2021, 5:29 PM

makarius mentioned this in Blog Post: Clarified timeouts for Isabelle/ML tools.Mar 5 2021, 10:29 PM

Changes (8)

Path

Size

etc/

src/

HOL/

Library/

Nitpick_Examples/

Tools/

Nitpick/

nitpick_tests.ML

Sledgehammer/

sledgehammer_mash.ML

Pure/

Concurrent/

rISABELLE3b5196dac4c8

NEWS

Loading...

etc/options

Loading...

src/HOL/Library/refute.ML

Loading...

src/HOL/Nitpick_Examples/minipick.ML

Loading...

src/HOL/Tools/Nitpick/nitpick.ML

Loading...

src/HOL/Tools/Nitpick/nitpick_tests.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

Loading...

src/Pure/Concurrent/timeout.ML

Loading...