Diffusion Isabelle 6345cce0e576

clarified output of "isabelle process";
6345cce0e576
Actions

Tags

None

Subscribers

None

Description

clarified output of "isabelle process";

Details

Provenance

Authored on

Parents

rISABELLE7abd365058e9: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6345cce0e576: clarified output of "isabelle process";.Nov 7 2020, 4:49 PM

Changes (2)

Path

Size

src/

Pure/

ML/

ml_process.scala

rISABELLE6345cce0e576

NEWS

Loading...

src/Pure/ML/ml_process.scala

Loading...