lib/icons/isabelle-mini.xpm
changeset 38817 bf27c24ba224
parent 6544 22b91f7c30d2