lib/icons/isabelle.xpm
changeset 63301 d3c87eb0bad2
parent 6544 22b91f7c30d2
equal deleted inserted replaced
63297:ce995deef4b0 63301:d3c87eb0bad2