Diffusion Isabelle fe7ee970c425

clarified build_session protocol;
fe7ee970c425
Actions

Tags

None

Subscribers

None

Description

clarified build_session protocol;

Details

Provenance

Authored on

Parents

rISABELLE3cd8449829fa: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfe7ee970c425: clarified build_session protocol;.May 24 2020, 2:15 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

Tools/

rISABELLEfe7ee970c425

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...