clarified signature: prefer static operations;
a6c7a257b713
Actions

Description

clarified signature: prefer static operations;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

src/

Pure/

PIDE/

Thy/

Tools/

VSCode/

src/

jEdit/

src/

rISABELLEa6c7a257b713

src/Pure/PIDE/document_status.scala

src/Pure/PIDE/resources.scala

src/Pure/Thy/presentation.scala

src/Tools/VSCode/src/preview_panel.scala

src/Tools/jEdit/src/document_model.scala

clarified signature: prefer static operations;a6c7a257b713Actions

Description

Details

Changes (5)

rISABELLEa6c7a257b713

src/Pure/PIDE/document_status.scala

src/Pure/PIDE/resources.scala

src/Pure/Thy/presentation.scala

src/Tools/VSCode/src/preview_panel.scala

src/Tools/jEdit/src/document_model.scala

clarified signature: prefer static operations;
a6c7a257b713
Actions