Diffusion Isabelle da49285a0adf

more official handling of protocol messages, including export;
da49285a0adf
Actions

Tags

None

Subscribers

None

Description

more official handling of protocol messages, including export;

Details

Provenance

Authored on

Parents

rISABELLE55cb4271858b: less redundant markup reports;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEda49285a0adf: more official handling of protocol messages, including export;.Apr 3 2020, 6:26 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEda49285a0adf

src/Pure/Tools/build.scala

Loading...