Diffusion Isabelle 756b9cb8a176

clarified markup (refining dd56ba1974e6);
756b9cb8a176
Actions

Tags

None

Subscribers

None

Description

clarified markup (refining dd56ba1974e6);

Details

Provenance

Authored on

Parents

rISABELLE50c48773b954: more documentation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE756b9cb8a176: clarified markup (refining dd56ba1974e6);.Dec 18 2020, 12:57 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE756b9cb8a176

src/Pure/PIDE/command.ML

Loading...