Diffusion Isabelle 98ecb951d911

more completion;
98ecb951d911
Actions

Tags

None

Subscribers

None

Description

more completion;

Details

Provenance

Authored on

Parents

rISABELLE15a8de807f21: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE98ecb951d911: more completion;.Nov 29 2020, 5:57 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Thy/

thy_header.scala

rISABELLE98ecb951d911

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Thy/thy_header.scala

Loading...