# HG changeset patch
# User nipkow
# Date 833455889 -7200
# Node ID 3f5382e95e1e83465575a65b7e2fe25a2cda339c
# Parent  bc584c1b8426c41a0fc5e7feaa461a8ccd148629
Smaller logo

diff -r bc584c1b8426 -r 3f5382e95e1e src/Tools/Isabelle.gif
Binary file src/Tools/Isabelle.gif has changed