ghc/docs/rts/hugs_ret.pstex_t

   1 \begin{picture}(0,0)%
   2 \epsfig{file=hugs_ret.pstex}%
   3 \end{picture}%
   4 \setlength{\unitlength}{0.00066700in}%
   5 %
   6 \begingroup\makeatletter\ifx\SetFigFont\undefined%
   7 \gdef\SetFigFont#1#2#3#4#5{%
   8   \reset@font\fontsize{#1}{#2pt}%
   9   \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  10   \selectfont}%
  11 \fi\endgroup%
  12 \begin{picture}(3624,4449)(889,-4798)
  13 \end{picture}