Diffusion Isabelle d83e7e444b43

ignore session build timeout, notably in AFP;
d83e7e444b43
Actions

Tags

None

Subscribers

None

Description

ignore session build timeout, notably in AFP;

Details

Provenance

Authored on

Parents

rISABELLE908351c8c0b1: check timeout_ignored as in ML, before applying timeout_scale;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd83e7e444b43: ignore session build timeout, notably in AFP;.May 16 2021, 1:14 PM

Changes (3)

Path

Size

etc/

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

Pure/

Thy/

rISABELLEd83e7e444b43

etc/options

Loading...

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...