Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fake proper eps header;
authorwenzelm
Thu, 27 Aug 1998 11:19:35 +0200
changeset 5382 dfbe72ddbd2d
parent 5381 79f98b3136b9
child 5383 74c2da44d144
fake proper eps header;
doc-src/gfx/isabelle.eps file | annotate | diff | comparison | revisions
doc-src/gfx/isabelle_hol.eps file | annotate | diff | comparison | revisions 
--- 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   
--- 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
isabelle