# HG changeset patch
# User wenzelm
# Date 904209575 -7200
# Node ID dfbe72ddbd2d1cd5920967ca6786ce63b6c97494
# Parent  79f98b3136b92b4cfdc25c89fe4e8b6c04d87f86
fake proper eps header;

diff -r 79f98b3136b9 -r dfbe72ddbd2d doc-src/gfx/isabelle.eps
--- a/doc-src/gfx/isabelle.eps	Wed Aug 26 18:41:00 1998 +0200
+++ b/doc-src/gfx/isabelle.eps	Thu Aug 27 11:19:35 1998 +0200
@@ -1,3 +1,8 @@
+%!PS-Adobe-2.0 EPSF-1.2
+%%Title: isabelle_hol
+%%Creator: FreeHand 5.5
+%%CreationDate: 17.11.1997 21:37 Uhr
+%%BoundingBox: 0 0 178 169
 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
 %%CreationDate: Mon Jun 22 16:09:28 1992
 %%VMusage: 35200 38400   
diff -r 79f98b3136b9 -r dfbe72ddbd2d doc-src/gfx/isabelle_hol.eps
--- a/doc-src/gfx/isabelle_hol.eps	Wed Aug 26 18:41:00 1998 +0200
+++ b/doc-src/gfx/isabelle_hol.eps	Thu Aug 27 11:19:35 1998 +0200
@@ -1,3 +1,8 @@
+%!PS-Adobe-2.0 EPSF-1.2
+%%Title: isabelle_hol
+%%Creator: FreeHand 5.5
+%%CreationDate: 17.11.1997 21:36 Uhr
+%%BoundingBox: 0 0 178 169
 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
 %%CreationDate: Mon Jun 22 16:09:28 1992
 %%VMusage: 35200 38400