Diffusion Isabelle 0a4cdf0036a0

more robust: client could have terminated already;
0a4cdf0036a0
Actions

Tags

None

Subscribers

None

Description

more robust: client could have terminated already;

Details

Provenance

Authored on

Parents

rISABELLE0f3ca0cd8071: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0a4cdf0036a0: more robust: client could have terminated already;.Sep 9 2021, 4:53 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE0a4cdf0036a0

src/Pure/System/bash.scala

Loading...