lib/logo/isabelle-tiny.xpm
changeset 49317 5eff42e69edb
parent 5130 95faaa02274a