Diffusion Isabelle 41a4352c5240

more robust executor policy after shutdown;
41a4352c5240
Actions

Tags

None

Subscribers

None

Description

more robust executor policy after shutdown;

Details

Provenance

Authored on

Parents

rISABELLEb8708212bdd5: clarified message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE41a4352c5240: more robust executor policy after shutdown;.Sep 29 2020, 3:30 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Nitpick/

rISABELLE41a4352c5240

src/HOL/Tools/Nitpick/kodkod.scala

Loading...