# HG changeset patch
# User nipkow
# Date 833370463 -7200
# Node ID ee2be39126d2dc1dbdf48c1a15a08a0e3c30715c
# Parent  ee81183a77a00d2d26622af60332d139c489b9d1
An Isabelle logo

diff -r ee81183a77a0 -r ee2be39126d2 src/Tools/Isabelle.gif
Binary file src/Tools/Isabelle.gif has changed