Admin/MacOS/Resources/isabelle.icns
changeset 66787 64b47495676d
parent 54392 f14791d4f08d