Diffusion Isabelle d9f2be66ebad

support for watchdog thread;
d9f2be66ebad
Actions

Tags

None

Subscribers

None

Description

support for watchdog thread;

Details

Provenance

Authored on

Parents

rISABELLEe8d7dc1c229c: more parallelism;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd9f2be66ebad: support for watchdog thread;.Nov 12 2020, 4:07 PM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLEd9f2be66ebad

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...