lib/logo/isabelle-small.xpm
changeset 72410 f98f764239a4
parent 5130 95faaa02274a
equal deleted inserted replaced
72409:da577e2d42b3 72410:f98f764239a4