Diffusion Isabelle 5292286908a4

clarified "selected" status;
5292286908a4
Actions

Tags

None

Subscribers

None

Description

clarified "selected" status;

Details

Provenance

Authored on

Parents

rISABELLE05219e08c3e9: uniform keywords for embedded syntax;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5292286908a4: clarified "selected" status;.Jan 19 2023, 4:22 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

document_build.scala

rISABELLE5292286908a4

src/Pure/Thy/document_build.scala

Loading...