# HG changeset patch
# User wenzelm
# Date 926009326 -7200
# Node ID becd902a0e97d4c3090ea5fc7448f8b21cc72a1f
# Parent  28726a610a1763134f38874214d8af1e622522c4
*** empty log message ***

diff -r 28726a610a17 -r becd902a0e97 doc-src/gfx/isabelle.png
Binary file doc-src/gfx/isabelle.png has changed
diff -r 28726a610a17 -r becd902a0e97 doc-src/gfx/isabelle_hol.png
Binary file doc-src/gfx/isabelle_hol.png has changed
diff -r 28726a610a17 -r becd902a0e97 doc-src/gfx/isabelle_zf.png
Binary file doc-src/gfx/isabelle_zf.png has changed