Diffusion Isabelle 254c324f31fd

clarified user counters: expose tasks to external monitor;
254c324f31fd
Actions

Tags

None

Subscribers

None

Description

clarified user counters: expose tasks to external monitor;

Details

Provenance

Authored on

Parents

rISABELLEaa6a36c730c9: proper platform path for Windows;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE254c324f31fd: clarified user counters: expose tasks to external monitor;.Jul 15 2020, 4:10 PM

Changes (3)

Path

Size

src/

Pure/

Concurrent/

ML/

ml_statistics.ML

rISABELLE254c324f31fd

src/Pure/Concurrent/future.ML

Loading...

src/Pure/Concurrent/task_queue.ML

Loading...

src/Pure/ML/ml_statistics.ML

Loading...