Diffusion Isabelle b3bddebe44ca

clarified signature: more explicit type Protocol_Message.Marker;
b3bddebe44ca
Actions

Tags

None

Subscribers

None

Description

clarified signature: more explicit type Protocol_Message.Marker;

Details

Provenance

Authored on

Parents

rISABELLEab5009192ebb: tuned signature -- follow Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb3bddebe44ca: clarified signature: more explicit type Protocol_Message.Marker;.Mar 29 2020, 9:57 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

protocol_message.scala

Tools/

rISABELLEb3bddebe44ca

src/Pure/PIDE/markup.scala

Loading...

src/Pure/PIDE/protocol_message.scala

Loading...

src/Pure/Tools/build.scala

Loading...