Diffusion Isabelle df4449c6eff1

explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;
df4449c6eff1
Actions

Tags

None

Subscribers

None

Description

explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;

Details

Provenance

Authored on

Parents

rISABELLE0580ae467ecb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdf4449c6eff1: explicit option metric_argo_timeout, with reasonable default for Raspberry Pi;.Nov 8 2021, 8:26 PM

makarius mentioned this in rISABELLEa06652d397a7: more robust timeout, following df4449c6eff1;.Nov 9 2021, 5:30 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

ex/

Metric_Arith_Examples.thy

metric_arith.ML

rISABELLEdf4449c6eff1

src/HOL/Analysis/ex/Metric_Arith_Examples.thy

Loading...

src/HOL/Analysis/metric_arith.ML

Loading...