Reorganisation of the source tree
[ghc-hetmet.git] / docs / storage-mgt / ldv.eepic
1 \setlength{\unitlength}{0.00050000in}
2 %
3 \begingroup\makeatletter\ifx\SetFigFont\undefined%
4 \gdef\SetFigFont#1#2#3#4#5{%
5   \reset@font\fontsize{#1}{#2pt}%
6   \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
7   \selectfont}%
8 \fi\endgroup%
9 {\renewcommand{\dashlinestretch}{30}
10 \begin{picture}(6036,3169)(0,-10)
11 \path(1692,3142)(1692,2692)(3342,2692)
12 \path(1692,2317)(1692,2692)
13 \path(1722.000,2572.000)(1692.000,2692.000)(1662.000,2572.000)
14 \path(4992,2317)(4992,2692)
15 \path(5022.000,2572.000)(4992.000,2692.000)(4962.000,2572.000)
16 \path(4992,2692)(4992,3142)
17 \path(3342,3142)(3342,2692)(4992,2692)
18 \path(3342,2317)(3342,2692)
19 \path(3372.000,2572.000)(3342.000,2692.000)(3312.000,2572.000)
20 \path(42,3142)(42,2692)(1692,2692)
21 \path(42,2317)(42,2692)
22 \path(72.000,2572.000)(42.000,2692.000)(12.000,2572.000)
23 \put(1992,2767){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}use}}}}}
24 \put(342,2767){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}lag}}}}}
25 \put(117,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}created}}}}}
26 \put(3642,2767){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}drag}}}}}
27 \put(1767,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}first used}}}}}
28 \put(3417,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}last used}}}}}
29 \put(5067,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destroyed}}}}}
30 \path(4992,292)(4992,667)
31 \path(5022.000,547.000)(4992.000,667.000)(4962.000,547.000)
32 \path(4992,667)(4992,1117)
33 \path(1692,667)(3342,667)(4992,667)
34 \path(42,1117)(42,667)(1692,667)
35 \path(42,292)(42,667)
36 \path(72.000,547.000)(42.000,667.000)(12.000,547.000)
37 \put(117,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}created}}}}}
38 \put(5067,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destroyed}}}}}
39 \put(1992,742){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}void}}}}}
40 \end{picture}
41 }