# 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