Diffusion Isabelle 3b09ae9e40cb

clarified session prefs (or "options" within the database);
3b09ae9e40cb
Actions

Tags

None

Subscribers

None

Description

clarified session prefs (or "options" within the database);

Details

Provenance

Authored on

Parents

rISABELLEa45cce93529c: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3b09ae9e40cb: clarified session prefs (or "options" within the database);.Mar 11 2023, 12:41 PM

Changes (4)

Path

Size

src/

Pure/

System/

Thy/

Tools/

build_job.scala

build_process.scala

rISABELLE3b09ae9e40cb

src/Pure/System/options.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...