Diffusion Isabelle 7b75d52a1bf1

clarified interrupt handling;
7b75d52a1bf1
Actions

Tags

None

Subscribers

None

Description

clarified interrupt handling;

Details

Provenance

Authored on

Parents

rISABELLEb9a5eb0f3b43: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7b75d52a1bf1: clarified interrupt handling;.Apr 6 2020, 1:40 PM

Changes (2)

Path

Size

src/

Pure/

General/

System/

rISABELLE7b75d52a1bf1

src/Pure/General/exn.scala

Loading...

src/Pure/System/bash.scala

Loading...