Diffusion Isabelle cafe00f2161e

proper protocol init (amending 065dcd80293e);
cafe00f2161e
Actions

Tags

None

Subscribers

None

Description

proper protocol init (amending 065dcd80293e);

Details

Provenance

Authored on

Parents

rISABELLEd1ca82e27cbc: clarified names;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcafe00f2161e: proper protocol init (amending 065dcd80293e);.Aug 15 2020, 1:51 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_process.ML

rISABELLEcafe00f2161e

src/Pure/System/isabelle_process.ML

Loading...