lib/logo/isabelle.icns
changeset 77392 467a8f987b5a
parent 73075 893310d6d76d