Diffusion Isabelle b9fbc93f3a24

clarified markup;
b9fbc93f3a24
Actions

Tags

None

Subscribers

None

Description

clarified markup;

Details

Provenance

Authored on

Parents

rISABELLEd25093536482: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb9fbc93f3a24: clarified markup;.May 27 2020, 8:51 PM

Changes (4)

Path

Size

src/

Pure/

PIDE/

System/

isabelle_system.ML

rISABELLEb9fbc93f3a24

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/scala.ML

Loading...