ghc/docs/rts/hugs_ret2.pstex_t


1
2
3
4
5
6
7
8
9
10
11
12
13

\begin{picture}(0,0)%
\epsfig{file=hugs_ret2.pstex}%
\end{picture}%
\setlength{\unitlength}{0.00066700in}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(3849,2874)(589,-2923)
\end{picture}