Diffusion Isabelle 38e05b7ded61

tuned signature --- more explicit types;
38e05b7ded61
Actions

Tags

None

Subscribers

None

Description

tuned signature --- more explicit types;

Details

Provenance

Authored on

Parents

rISABELLE72ac27ea12b2: more positions;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE38e05b7ded61: tuned signature --- more explicit types;.Nov 28 2020, 3:53 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

command_span.scala

resources.scala

rISABELLE38e05b7ded61

src/Pure/PIDE/command.scala

Loading...

src/Pure/PIDE/command_span.scala

Loading...

src/Pure/PIDE/resources.scala

Loading...