Diffusion Isabelle 928fd852f3e2

more robust interrupt handling;
928fd852f3e2
Actions

Tags

None

Subscribers

None

Description

more robust interrupt handling;

Details

Provenance

Authored on

Parents

rISABELLEc6b7f4da67b3: more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE928fd852f3e2: more robust interrupt handling;.Apr 6 2020, 9:07 PM

Changes (3)

Path

Size

src/

Pure/

ML/

ml_console.scala

System/

Tools/

rISABELLE928fd852f3e2

src/Pure/ML/ml_console.scala

Loading...

src/Pure/System/tty_loop.scala

Loading...

src/Pure/Tools/server.scala

Loading...