Diffusion Isabelle 6cd6c553b480

clarified signature: less redundancy;
6cd6c553b480
Actions

Tags

None

Subscribers

None

Description

clarified signature: less redundancy;

Details

Provenance

Authored on

Parents

rISABELLE127ee77c24ff: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6cd6c553b480: clarified signature: less redundancy;.Dec 6 2022, 8:08 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

resources.scala

Tools/

VSCode/

src/

vscode_resources.scala

jEdit/

src/

main_plugin.scala

rISABELLE6cd6c553b480

src/Pure/PIDE/resources.scala

Loading...

src/Tools/VSCode/src/vscode_resources.scala

Loading...

src/Tools/jEdit/src/main_plugin.scala

Loading...