Diffusion Isabelle 75fc90edc0a8

clarified signature and module structure;
75fc90edc0a8
Actions

Tags

None

Subscribers

None

Description

clarified signature and module structure;

Details

Provenance

Authored on

Parents

rISABELLEc007d0fa0938: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE75fc90edc0a8: clarified signature and module structure;.Dec 19 2020, 3:14 PM

Changes (6)

Path

Size

src/

Pure/

PIDE/

resources.scala

Thy/

file_format.scala

presentation.scala

Tools/

VSCode/

src/

preview_panel.scala

jEdit/

src/

document_model.scala

rISABELLE75fc90edc0a8

src/Pure/PIDE/resources.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Thy/file_format.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Tools/VSCode/src/preview_panel.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...