# HG changeset patch
# User wenzelm
# Date 1386269268 -3600
# Node ID ad329fef3023f3673176ac151439249f1476e9ef
# Parent  dae47f99726838b0f79f810663736e5cdb152308
more isabelle logos (from isabelle_transparent.ico);

diff -r dae47f997268 -r ad329fef3023 lib/logo/isabelle_transparent-16.gif
Binary file lib/logo/isabelle_transparent-16.gif has changed
diff -r dae47f997268 -r ad329fef3023 lib/logo/isabelle_transparent-24.gif
Binary file lib/logo/isabelle_transparent-24.gif has changed
diff -r dae47f997268 -r ad329fef3023 lib/logo/isabelle_transparent-32.gif
Binary file lib/logo/isabelle_transparent-32.gif has changed
diff -r dae47f997268 -r ad329fef3023 lib/logo/isabelle_transparent-48.gif
Binary file lib/logo/isabelle_transparent-48.gif has changed