Diffusion Isabelle da0ee7fbc068

terminate faster (following dd9fc8a3036c);
da0ee7fbc068
Actions

Tags

None

Subscribers

None

Description

terminate faster (following dd9fc8a3036c);

Details

Provenance

Authored on

Parents

rISABELLE4d36070bdbf4: more robust: accommodate output lines produced by Scala "bash_process";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEda0ee7fbc068: terminate faster (following dd9fc8a3036c);.Feb 7 2021, 9:27 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEda0ee7fbc068

src/Pure/System/bash.ML

Loading...