Diffusion Isabelle ca926ef898eb

more general interrupt_handler, with some cascading;
ca926ef898eb
Actions

Tags

None

Subscribers

None

Description

more general interrupt_handler, with some cascading;

Details

Provenance

Authored on

Parents

rISABELLE6c39c3be85df: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEca926ef898eb: more general interrupt_handler, with some cascading;.Apr 5 2020, 10:08 PM

Changes (1)

Path

Size

src/

Pure/

Concurrent/

isabelle_thread.scala

rISABELLEca926ef898eb

src/Pure/Concurrent/isabelle_thread.scala

Loading...