lib/icons/isabelle-mini.xpm
changeset 82986 951e009e20f4
parent 6544 22b91f7c30d2