Diffusion Isabelle d44552bf310f

clarified application init;
d44552bf310f
Actions

Tags

None

Subscribers

None

Description

clarified application init;

Details

Provenance

Authored on

Parents

rISABELLE893310d6d76d: recovered bundle icons (not application) from macos_app;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd44552bf310f: clarified application init;.Jan 5 2021, 11:02 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

Tools/

jEdit/

src-base/

rISABELLEd44552bf310f

src/Pure/Tools/main.scala

Loading...

src/Tools/jEdit/src-base/plugin.scala

Loading...