[project @ 2002-02-22 21:45:25 by panne]

Sepll chceking onyl...

diff --git a/ghc/docs/storage-mgt/ldv.eepic b/ghc/docs/storage-mgt/ldv.eepic
index 0a04249..aa41327 100644 (file)
--- a/ghc/docs/storage-mgt/ldv.eepic
+++ b/ghc/docs/storage-mgt/ldv.eepic
@@ -26,7 +26,7 @@
 \put(3642,2767){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}drag}}}}}
 \put(1767,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}first used}}}}}
 \put(3417,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}last used}}}}}
-\put(5067,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destoryed}}}}}
+\put(5067,2092){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destroyed}}}}}
 \path(4992,292)(4992,667)
 \path(5022.000,547.000)(4992.000,667.000)(4962.000,547.000)
 \path(4992,667)(4992,1117)
@@ -35,7 +35,7 @@
 \path(42,292)(42,667)
 \path(72.000,547.000)(42.000,667.000)(12.000,547.000)
 \put(117,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}created}}}}}
-\put(5067,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destoryed}}}}}
+\put(5067,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}destroyed}}}}}
 \put(1992,742){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}void}}}}}
 \end{picture}
 }

diff --git a/ghc/docs/storage-mgt/ldv.fig b/ghc/docs/storage-mgt/ldv.fig
index 2c2f745..772411c 100644 (file)
--- a/ghc/docs/storage-mgt/ldv.fig
+++ b/ghc/docs/storage-mgt/ldv.fig
@@ -34,7 +34,7 @@ Single
 4 0 0 50 0 0 17 0.0000 4 225 435 7275 3750 drag\001
 4 0 0 50 0 0 17 0.0000 4 165 915 5400 4425 first used\001
 4 0 0 50 0 0 17 0.0000 4 165 840 7050 4425 last used\001
-4 0 0 50 0 0 17 0.0000 4 225 945 8700 4425 destoryed\001
+4 0 0 50 0 0 17 0.0000 4 225 945 8700 4425 destroyed\001
 -6
 2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
        0 0 1.00 60.00 120.00
@@ -49,5 +49,5 @@ Single
        0 0 1.00 60.00 120.00
         3675 6225 3675 5850
 4 0 0 50 0 0 17 0.0000 4 165 705 3750 6450 created\001
-4 0 0 50 0 0 17 0.0000 4 225 945 8700 6450 destoryed\001
+4 0 0 50 0 0 17 0.0000 4 225 945 8700 6450 destroyed\001
 4 0 0 50 0 0 17 0.0000 4 165 435 5625 5775 void\001