Diffusion Isabelle ecb02f288636

tuned signature;
ecb02f288636
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLEff4496b25197: clarified signature: Command_Span.Kind already contains keyword_kind, so…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEecb02f288636: tuned signature;.Wed, Nov 8, 12:00 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

command_span.scala

rISABELLEecb02f288636

src/Pure/PIDE/command.scala

Loading...

src/Pure/PIDE/command_span.scala

Loading...