update to use Control.GArrow instead of GHC.HetMet.GArrow
[coq-hetmet.git] / examples / tex-bits / prtightpage.def
1 %%
2 %% This is file `prtightpage.def',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `tightpage')
8 %% 
9 %% IMPORTANT NOTICE:
10 %% 
11 %% For the copyright see the source file.
12 %% 
13 %% Any modified versions of this file must be renamed
14 %% with new filenames distinct from prtightpage.def.
15 %% 
16 %% For distribution of the original source see the terms
17 %% for copying and modification in the file preview.dtx.
18 %% 
19 %% This generated file may be distributed as long as the
20 %% original source files, as listed above, are part of the
21 %% same distribution. (The sources need not necessarily be
22 %% in the same archive or directory.)
23 %%    The preview style for extracting previews from LaTeX documents.
24 %%    Developed as part of AUCTeX <URL:http://www.gnu.org/software/auctex>.
25 \ifx\PreviewBorder\@undefined
26   \newdimen\PreviewBorder
27   \PreviewBorder=0.50001bp
28 \fi
29 \ifx\PreviewBbAdjust\@undefined
30   \def\PreviewBbAdjust{-\PreviewBorder -\PreviewBorder
31     \PreviewBorder \PreviewBorder}
32 \fi
33 \ifPreview\else\expandafter\endinput\fi
34 \def\pr@nextbb{\edef\next{\next\space\number\dimen@}%
35   \expandafter\xdef\csname pr@bb@%
36     \romannumeral\count@\endcsname{\the\dimen@}%
37   \advance\count@\@ne\ifnum\count@<5
38   \afterassignment\pr@nextbb\dimen@=\fi}
39 \ifnum\pr@graphicstype=\z@
40   \ifcase
41     \ifx\XeTeXversion\@undefined
42       \ifx\pdfoutput\@undefined \@ne\fi
43       \ifx\pdfoutput\relax \@ne\fi
44       \ifnum\pdfoutput>\z@ \tw@\fi \@ne
45     \else \thr@@\fi
46   \or \ExecuteOptions{dvips}\relax
47   \or \ExecuteOptions{pdftex}\relax
48   \or \ExecuteOptions{xetex}\relax\fi\fi
49 \global\let\pr@bbadjust\@empty
50 \pr@addto@front\pr@ship@end{\begingroup
51   \let\next\@gobble
52   \count@\@ne\afterassignment\pr@nextbb
53   \dimen@\PreviewBbAdjust
54   \ifx\pr@bbadjust\next
55   \else \global\let\pr@bbadjust\next
56   \typeout{Preview: Tightpage \pr@bbadjust}%
57   \fi\endgroup}
58 \ifcase\pr@graphicstype
59 \or
60   \g@addto@macro\pr@ship@end{\setbox\pr@box\hbox{%
61     \special{ps::\pr@bbadjust\space
62       \number\ifdim\ht\pr@box>\z@ \ht\pr@box
63              \else \z@
64              \fi \space
65       \number\ifdim\dp\pr@box>\z@ \dp\pr@box
66              \else \z@
67              \fi \space
68       \number\ifdim\wd\pr@box>\z@ \wd\pr@box
69              \else \z@
70              \fi}\box\pr@box}}
71 \or
72   \g@addto@macro\pr@ship@end{{\dimen@\ht\pr@box
73     \ifdim\dimen@<\z@ \dimen@\z@\fi
74     \advance\dimen@\pr@bb@iv
75     \dimen@ii=\dimen@
76     \global\pdfvorigin\dimen@
77     \dimen@\dp\pr@box
78     \ifdim\dimen@<\z@ \dimen@\z@\fi
79     \advance\dimen@-\pr@bb@ii
80     \advance\dimen@\dimen@ii
81     \global\pdfpageheight\dimen@
82     \dimen@\wd\pr@box
83     \ifdim\dimen@<\z@ \dimen@=\z@\fi
84     \advance\dimen@-\pr@bb@i
85     \advance\dimen@\pr@bb@iii
86     \global\pdfpagewidth\dimen@
87     \global\pdfhorigin-\pr@bb@i}}
88 \or
89   \g@addto@macro\pr@ship@end{\dimen@\ht\pr@box
90     \ifdim\dimen@<\z@ \dimen@\z@\fi
91     \advance\dimen@\pr@bb@iv
92     \dimen@ii=\dimen@
93     \voffset=-1in
94     \advance\voffset\dimen@
95     \advance\voffset-\ht\pr@box
96     \dimen@\dp\pr@box
97     \ifdim\dimen@<\z@ \dimen@\z@\fi
98     \advance\dimen@-\pr@bb@ii
99     \advance\dimen@\dimen@ii
100     \global\pdfpageheight\dimen@
101     \global\paperheight\dimen@
102     \dimen@\wd\pr@box
103     \ifdim\dimen@<\z@ \dimen@=\z@\fi
104     \advance\dimen@-\pr@bb@i
105     \advance\dimen@\pr@bb@iii
106     \global\pdfpagewidth\dimen@
107     \hoffset=-1in
108     \advance\hoffset-\pr@bb@i
109     \let\pr@offset@override\@empty}
110 \fi
111 \ifnum\pr@graphicstype=\@ne
112 \preview@delay{\AtBeginDvi{%
113   \special{!/preview@tightpage true def (%
114      compatibility PostScript comment for dvipng<=1.5 }
115   \special{!userdict begin/bop-hook{%
116      7{currentfile token not{stop}if
117        65781.76 div DVImag mul}repeat
118        72 add 72 2 copy gt{exch}if 4 2 roll
119        neg 2 copy lt{exch}if dup 0 gt{pop 0 exch}%
120        {exch dup 0 lt{pop 0}if}ifelse 720 add exch 720 add
121        3 1 roll
122        4{5 -1 roll add 4 1 roll}repeat
123      <</PageSize[5 -1 roll 6 index sub 5 -1 roll 5 index sub]%
124        /PageOffset[7 -2 roll [1 1 dtransform exch]%
125        {0 ge{neg}if exch}forall]>>setpagedevice%
126        //bop-hook exec}bind def end}
127   \special{!userdict (some extra code to avoid
128      dvipng>=1.6 unknown special:
129        7{currentfile token not{stop}if 65781.76 div })) pop}
130   \special{!userdict begin/bop-hook{%
131   preview-bop-level 0 le{%
132      7{currentfile token not{stop}if
133        65781.76 div DVImag mul}repeat
134      72 add 72 2 copy gt{exch}if 4 2 roll
135      neg 2 copy lt{exch}if dup 0 gt{pop 0 exch}%
136      {exch dup 0 lt{pop 0}if}ifelse 720 add exch 720 add
137      3 1 roll
138     4{5 -1 roll add 4 1 roll}repeat
139      <</PageSize[5 -1 roll 6 index sub 5 -1 roll 5 index sub]%
140        /PageOffset[7 -2 roll [1 1 dtransform exch]%
141        {0 ge{neg}if exch}forall]>>setpagedevice}if%
142      //bop-hook exec}bind def end}}}
143 \fi
144 \endinput
145 %%
146 %% End of file `prtightpage.def'.