Diffusion Isabelle ab5009192ebb

tuned signature -- follow Scala;
ab5009192ebb
Actions

Tags

None

Subscribers

None

Description

tuned signature -- follow Scala;

Details

Provenance

Authored on

Parents

rISABELLE281591ab169b: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEab5009192ebb: tuned signature -- follow Scala;.Mar 29 2020, 9:32 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

protocol_message.ML

Thy/

Tools/

rISABELLEab5009192ebb

src/Pure/PIDE/protocol_message.ML

Loading...

src/Pure/Thy/export.ML

Loading...

src/Pure/Tools/build.ML

Loading...