# HG changeset patch
# User berghofe
# Date 870989671 -7200
# Node ID 8e6faf192cead2a654ef4a23e1ba83ac3fd6753e
# Parent  fc9970e62cfacc6a7cee24d78d5b6cf20dac758d
Gif images which are copied to $ISABELLE_BROWSER_INFO when
theory browsing data is generated.

diff -r fc9970e62cfa -r 8e6faf192cea lib/images/Isabelle.gif
Binary file lib/images/Isabelle.gif has changed
diff -r fc9970e62cfa -r 8e6faf192cea lib/images/blue_arrow.gif
Binary file lib/images/blue_arrow.gif has changed
diff -r fc9970e62cfa -r 8e6faf192cea lib/images/red_arrow.gif
Binary file lib/images/red_arrow.gif has changed