Diffusion Isabelle b028e8d22d8d

clarified HTML presentation elements;
b028e8d22d8d
Actions

Tags

None

Subscribers

None

Description

clarified HTML presentation elements;

Details

Provenance

Authored on

Parents

rISABELLE03e78b35ebbc: more robust bootstrap: Isabelle-jEdit.shasum could be absent;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb028e8d22d8d: clarified HTML presentation elements;.Jan 3 2021, 4:21 PM

Changes (4)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

Tools/

VSCode/

src/

preview_panel.scala

jEdit/

src/

document_model.scala

rISABELLEb028e8d22d8d

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Tools/VSCode/src/preview_panel.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...