Diffusion Isabelle 3622eea18e39

support for uninterruptible execution;
3622eea18e39
Actions

Tags

None

Subscribers

None

Description

support for uninterruptible execution;

Details

Provenance

Authored on

Parents

rISABELLEe20e117c3735: tuned -- prefer Config.T over Data;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3622eea18e39: support for uninterruptible execution;.Apr 4 2020, 1:45 PM

Changes (1)

Path

Size

src/

Pure/

Concurrent/

standard_thread.scala

rISABELLE3622eea18e39

src/Pure/Concurrent/standard_thread.scala

Loading...