more uniform Resources.init_session via YXML;
fd68c9c1b90b
Actions

Description

more uniform Resources.init_session via YXML;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (7)

Path

Size

src/

Pure/

ML/

PIDE/

Tools/

rISABELLEfd68c9c1b90b

src/Pure/ML/ml_process.scala

src/Pure/PIDE/protocol.ML

src/Pure/PIDE/protocol.scala

src/Pure/PIDE/resources.ML

src/Pure/PIDE/resources.scala

src/Pure/Tools/build.ML

src/Pure/Tools/build.scala

more uniform Resources.init_session via YXML;fd68c9c1b90bActions

Description

Details

Changes (7)

rISABELLEfd68c9c1b90b

src/Pure/ML/ml_process.scala

src/Pure/PIDE/protocol.ML

src/Pure/PIDE/protocol.scala

src/Pure/PIDE/resources.ML

src/Pure/PIDE/resources.scala

src/Pure/Tools/build.ML

src/Pure/Tools/build.scala

more uniform Resources.init_session via YXML;
fd68c9c1b90b
Actions