Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/gfx/isabelle_hol.eps
changeset 5382 dfbe72ddbd2d
parent 5374 6ef3742b6153
child 5733 6efa861fb510
equal deleted inserted replaced
5381:79f98b3136b9 5382:dfbe72ddbd2d 
       
     1 %!PS-Adobe-2.0 EPSF-1.2
 
       
     2 %%Title: isabelle_hol
 
       
     3 %%Creator: FreeHand 5.5
 
       
     4 %%CreationDate: 17.11.1997 21:36 Uhr
 
       
     5 %%BoundingBox: 0 0 178 169
 
     1 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
 
     6 %!PS-AdobeFont-1.0: ZapfHumanist601BT-Bold 003.001
 
     2 %%CreationDate: Mon Jun 22 16:09:28 1992
 
     7 %%CreationDate: Mon Jun 22 16:09:28 1992
 
     3 %%VMusage: 35200 38400   
     8 %%VMusage: 35200 38400   
     4 % Bitstream Type 1 Font Program
 
     9 % Bitstream Type 1 Font Program
 
     5 % Copyright 1990-1992 as an unpublished work by Bitstream Inc., Cambridge, MA.
 
    10 % Copyright 1990-1992 as an unpublished work by Bitstream Inc., Cambridge, MA.
isabelle