Diffusion Isabelle 217e6cf61453

refer to session structure from resources;
217e6cf61453
Actions

Tags

None

Subscribers

None

Description

refer to session structure from resources;

Details

Provenance

Authored on

Parents

rISABELLEf827c3bb6b7f: more scalable: avoid large strings on command-line;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE217e6cf61453: refer to session structure from resources;.Nov 15 2020, 10:00 PM

makarius mentioned this in rISABELLE0554a5c4c191: unused (see also 217e6cf61453, 5e7916535860);.Nov 6 2021, 6:30 PM

Changes (8)

Path

Size

src/

Pure/

ML/

ml_process.scala

PIDE/

Thy/

Tools/

rISABELLE217e6cf61453

src/Pure/ML/ml_process.scala

Loading...

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/Thy/present.ML

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...