Admin/MacOS/isabelle.icns
changeset 51085 d90218288d51
parent 29136 de5b29c25af9