Diffusion Isabelle 76550282267f

more interrupts, notably for running latex;
76550282267f
Actions

Tags

None

Subscribers

None

Description

more interrupts, notably for running latex;

Details

Provenance

Authored on

Parents

rISABELLEd9f2be66ebad: support for watchdog thread;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE76550282267f: more interrupts, notably for running latex;.Nov 12 2020, 4:27 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_doc.scala

System/

Thy/

rISABELLE76550282267f

src/Pure/Admin/build_doc.scala

Loading...

src/Pure/System/progress.scala

Loading...

src/Pure/Thy/present.scala

Loading...