Diffusion Isabelle 6945ac084763

clarified purge;
6945ac084763
Actions

Tags

None

Subscribers

None

Description

clarified purge;

Details

Provenance

Authored on

Parents

rISABELLE3531d20cf2fd: removed junk;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6945ac084763: clarified purge;.May 6 2021, 10:13 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

components.scala

rISABELLE6945ac084763

src/Pure/Admin/components.scala

Loading...