Diffusion Isabelle c7f3e94fce7b

tuned messages and options;
c7f3e94fce7b
Actions

Tags

None

Subscribers

None

Description

tuned messages and options;

Details

Provenance

Authored on

Parents

rISABELLEe28aed61a4b1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc7f3e94fce7b: tuned messages and options;.Dec 5 2022, 12:17 PM

Changes (2)

Path

Size

src/

Doc/

System/

Presentation.thy

Pure/

Tools/

rISABELLEc7f3e94fce7b

src/Doc/System/Presentation.thy

Loading...

src/Pure/Tools/mkroot.scala

Loading...