clarified signature: more specific types;
015a61936c13
Actions

Description

clarified signature: more specific types;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

PIDE/

Tools/

rISABELLE015a61936c13

src/Pure/PIDE/command.scala

src/Pure/PIDE/document.scala

src/Pure/PIDE/rendering.scala

src/Pure/Tools/build_job.scala

clarified signature: more specific types;015a61936c13Actions

Description

Details

Changes (5)

rISABELLE015a61936c13

src/Pure/PIDE/command.scala

src/Pure/PIDE/document.scala

src/Pure/PIDE/rendering.scala

src/Pure/Tools/build_job.scala

src/Pure/Tools/dump.scala

clarified signature: more specific types;
015a61936c13
Actions