Diffusion Isabelle 99b7638d9177

clarified session resources for bootstrap, notably for Scala functions;
99b7638d9177
Actions

Tags

None

Subscribers

None

Description

clarified session resources for bootstrap, notably for Scala functions;

Details

Provenance

Authored on

Parents

rISABELLE3bee51daf9a9: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE99b7638d9177: clarified session resources for bootstrap, notably for Scala functions;.Jun 22 2022, 2:18 PM

Changes (2)

Path

Size

src/

Pure/

ML/

ml_process.scala

PIDE/

rISABELLE99b7638d9177

src/Pure/ML/ml_process.scala

Loading...

src/Pure/PIDE/resources.ML

Loading...