Diffusion Isabelle 7ef8d77ee761

proper dock icon for macOS;
7ef8d77ee761
Actions

Tags

None

Subscribers

None

Description

proper dock icon for macOS;

Details

Provenance

Authored on

Parents

rISABELLE8d9fb810462b: proper isabelle_home_prefix;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7ef8d77ee761: proper dock icon for macOS;.Jan 5 2021, 9:46 PM

Changes (6)

Path

Size

isabelle_transparent-128.png

src/

Pure/

Admin/

build_release.scala

GUI/

Tools/

jEdit/

src-base/

rISABELLE7ef8d77ee761

lib/logo/isabelle_transparent-128.png

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/GUI/gui.scala

Loading...

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

Loading...