Diffusion Isabelle d08cbc36a99a

clarified dock icon: setup earlier on startup;
d08cbc36a99a
Actions

Tags

None

Subscribers

None

Description

clarified dock icon: setup earlier on startup;

Details

Provenance

Authored on

Parents

rISABELLE86a18742e5b2: clarified NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd08cbc36a99a: clarified dock icon: setup earlier on startup;.Jan 7 2021, 1:28 PM

makarius mentioned this in T33: Update to jdk-11.0.10, notably for macOS Big Sur.Jan 7 2021, 2:02 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_release.scala

GUI/

Tools/

rISABELLEd08cbc36a99a

src/Pure/Admin/build_release.scala

Loading...

src/Pure/GUI/gui.scala

Loading...

src/Pure/Tools/main.scala

Loading...