lib/icons/isabelle-mini.xpm
changeset 21079 747d716e98d0
parent 6544 22b91f7c30d2