lib/logo/isabelle.bmp
changeset 63301 d3c87eb0bad2
parent 53473 28ba604926f1