Diffusion Isabelle fb4215da4919

clarified presentation_sessions: work with partial results;
fb4215da4919
Actions

Tags

None

Subscribers

None

Description

clarified presentation_sessions: work with partial results;

Details

Provenance

Authored on

Parents

rISABELLE544e81a2c9fc: tuned signature: removed unused operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfb4215da4919: clarified presentation_sessions: work with partial results;.Sep 22 2022, 11:45 AM

makarius mentioned this in rISABELLEd535db35388e: proper filter (amending fb4215da4919);.Sep 22 2022, 8:32 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEfb4215da4919

src/Pure/Tools/build.scala

Loading...