Diffusion Isabelle ff9cd62d2d20

proper </html>;
ff9cd62d2d20
Actions

Tags

None

Subscribers

None

Description

proper </html>;

Details

Provenance

Authored on

Parents

rISABELLEb15fe413b4d2: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff9cd62d2d20: proper </html>;.Jan 11 2021, 3:43 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEff9cd62d2d20

src/Pure/Thy/html.scala

Loading...