Diffusion Isabelle a1ccecae6a57

clarified process description;
a1ccecae6a57
Actions

Tags

None

Subscribers

None

Description

clarified process description;

Details

Provenance

Authored on

Parents

rISABELLE2ee03f7abd8d: more Isabelle/Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa1ccecae6a57: clarified process description;.Aug 29 2021, 12:04 PM

Changes (3)

Path

Size

src/

Pure/

System/

isabelle_system.ML

isabelle_system.scala

rISABELLEa1ccecae6a57

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/isabelle_system.scala

Loading...