# HG changeset patch
# User wenzelm
# Date 881945428 -3600
# Node ID 85a38e6e3df8da5fc84637455e2248f7dd622761
# Parent  6c5d61fd337953a1d166054b83c7950da8dc6aec
obsolete;

diff -r 6c5d61fd3379 -r 85a38e6e3df8 lib/images/Isabelle.gif
Binary file lib/images/Isabelle.gif has changed