Diffusion Isabelle 7d23555fda83

proper session_options (amending da13da82f6f9);
7d23555fda83
Actions

Tags

None

Subscribers

None

Description

proper session_options (amending da13da82f6f9);

Details

Provenance

Authored on

Parents

rISABELLEd1fbd04a976e: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7d23555fda83: proper session_options (amending da13da82f6f9);.Jan 14 2023, 7:36 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE7d23555fda83

src/Pure/Tools/update.scala

Loading...