lib/icons/isabelle.xpm
changeset 63301 d3c87eb0bad2
parent 6544 22b91f7c30d2