Diffusion Isabelle d2dc9bc3a3e1

clarified worker threads;
d2dc9bc3a3e1
Actions

Tags

None

Subscribers

None

Description

clarified worker threads;

Details

Provenance

Authored on

Parents

rISABELLE2375b38a42f8: misc tuning, based on hints by IntelliJ IDEA;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd2dc9bc3a3e1: clarified worker threads;.Aug 13 2020, 2:41 PM

Changes (1)

Path

Size

src/

Pure/

Concurrent/

isabelle_thread.scala

rISABELLEd2dc9bc3a3e1

src/Pure/Concurrent/isabelle_thread.scala

Loading...