Diffusion Isabelle bcca7e3bcd0d

proper treatment of session build hierarchy;
bcca7e3bcd0d
Actions

Tags

None

Subscribers

None

Description

proper treatment of session build hierarchy;

Details

Provenance

Authored on

Parents

rISABELLEeb89b3a37826: proper used_theories for session build hierarchy, not known_theories from…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbcca7e3bcd0d: proper treatment of session build hierarchy;.Nov 6 2021, 10:11 AM

Changes (3)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

build_job.scala

profiling_report.scala

rISABELLEbcca7e3bcd0d

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/profiling_report.scala

Loading...