Admin/Windows/launch4j/isabelle_transparent.ico
changeset 66787 64b47495676d
parent 60994 b1e324a0677c