etc/icons/isac.ps
author Walther Neuper <wneuper@ist.tugraz.at>
Thu, 13 Sep 2018 11:14:30 +0200
changeset 5231 ed1bee7c6784
parent 1943 828cbc8e2032
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question to Lars
wneuper@1943
     1
%!PS-Adobe-2.0
wneuper@1943
     2
%%Creator: dvips(k) 5.86e Copyright 2001 Radical Eye Software
wneuper@1943
     3
%%Title: isac.dvi
wneuper@1943
     4
%%Pages: 1
wneuper@1943
     5
%%PageOrder: Ascend
wneuper@1943
     6
%%BoundingBox: 0 0 596 842
wneuper@1943
     7
%%EndComments
wneuper@1943
     8
%DVIPSWebPage: (www.radicaleye.com)
wneuper@1943
     9
%DVIPSCommandLine: dvips isac.dvi -o
wneuper@1943
    10
%DVIPSParameters: dpi=600, compressed
wneuper@1943
    11
%DVIPSSource:  TeX output 2004.03.29:1949
wneuper@1943
    12
%%BeginProcSet: texc.pro
wneuper@1943
    13
%!
wneuper@1943
    14
/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
wneuper@1943
    15
N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
wneuper@1943
    16
mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
wneuper@1943
    17
0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
wneuper@1943
    18
landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
wneuper@1943
    19
mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
wneuper@1943
    20
matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
wneuper@1943
    21
exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
wneuper@1943
    22
statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
wneuper@1943
    23
N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
wneuper@1943
    24
/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
wneuper@1943
    25
/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
wneuper@1943
    26
array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
wneuper@1943
    27
df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
wneuper@1943
    28
definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
wneuper@1943
    29
}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
wneuper@1943
    30
B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
wneuper@1943
    31
1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3
wneuper@1943
    32
1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx
wneuper@1943
    33
0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx
wneuper@1943
    34
sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{
wneuper@1943
    35
rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp
wneuper@1943
    36
gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B
wneuper@1943
    37
/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{
wneuper@1943
    38
/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{
wneuper@1943
    39
A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy
wneuper@1943
    40
get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse}
wneuper@1943
    41
ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp
wneuper@1943
    42
fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17
wneuper@1943
    43
{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add
wneuper@1943
    44
chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{
wneuper@1943
    45
1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop}
wneuper@1943
    46
forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
wneuper@1943
    47
/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
wneuper@1943
    48
}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
wneuper@1943
    49
bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
wneuper@1943
    50
mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
wneuper@1943
    51
SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
wneuper@1943
    52
userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
wneuper@1943
    53
1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
wneuper@1943
    54
index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
wneuper@1943
    55
/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{
wneuper@1943
    56
/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
wneuper@1943
    57
(LaserWriter 16/600)]{A length product length le{A length product exch 0
wneuper@1943
    58
exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
wneuper@1943
    59
end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
wneuper@1943
    60
grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
wneuper@1943
    61
imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
wneuper@1943
    62
exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
wneuper@1943
    63
fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
wneuper@1943
    64
delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M}
wneuper@1943
    65
B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{
wneuper@1943
    66
p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S
wneuper@1943
    67
rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
wneuper@1943
    68
wneuper@1943
    69
%%EndProcSet
wneuper@1943
    70
TeXDict begin 39158280 55380996 1000 600 600 (isac.dvi)
wneuper@1943
    71
@start end
wneuper@1943
    72
%%EndProlog
wneuper@1943
    73
%%BeginSetup
wneuper@1943
    74
%%Feature: *Resolution 600dpi
wneuper@1943
    75
TeXDict begin
wneuper@1943
    76
%%PaperSize: A4
wneuper@1943
    77
wneuper@1943
    78
%%EndSetup
wneuper@1943
    79
%%Page: 1 1
wneuper@1943
    80
1 0 bop 146 311 591 4 v 146 544 4 234 v 734 544 V 146
wneuper@1943
    81
547 591 4 v eop
wneuper@1943
    82
%%Trailer
wneuper@1943
    83
end
wneuper@1943
    84
userdict /end-hook known{end-hook}if
wneuper@1943
    85
%%EOF