# HG changeset patch
# User wenzelm
# Date 904219712 -7200
# Node ID f8da956f59c443e615ed8400a54f41c0fe7dc571
# Parent  678f34b3d5605c0a1236d210ec74c13c94890986
tuned doc name;

diff -r 678f34b3d560 -r f8da956f59c4 doc-src/gfx/isabelle.eps
--- a/doc-src/gfx/isabelle.eps	Thu Aug 27 14:04:13 1998 +0200
+++ b/doc-src/gfx/isabelle.eps	Thu Aug 27 14:08:32 1998 +0200
@@ -1,5 +1,5 @@
 %!PS-Adobe-2.0 EPSF-1.2
-%%Title: isabelle_hol
+%%Title: isabelle
 %%Creator: FreeHand 5.5
 %%CreationDate: 17.11.1997 21:37 Uhr
 %%BoundingBox: 0 0 178 169
@@ -1262,12 +1262,12 @@
 0000000000000000000000000000000000000000000000000000000000000000
 cleartomark
 %!PS-Adobe-2.0 EPSF-1.2
-%%Title: isabelle_hol
+%%Title: isabelle
 %%Creator: FreeHand 5.5
 %%CreationDate: 17.11.1997 21:37 Uhr
 %%BoundingBox: 0 0 178 169
-%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle_hol
-%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle_hol
+%%FHPathName:MacSystem:Desktop Folder:freehands:isabelle
+%ALDOriginalFile:MacSystem:Desktop Folder:freehands:isabelle
 %ALDBoundingBox: -157 -395 438 447
 %%FHPageNum:1
 %%DocumentSuppliedResources: procset Altsys_header 4 0