[project @ 2000-05-24 12:53:21 by rrt]
authorrrt <unknown>
Wed, 24 May 2000 12:53:22 +0000 (12:53 +0000)
committerrrt <unknown>
Wed, 24 May 2000 12:53:22 +0000 (12:53 +0000)
commit2b607706706614ffdab57a962031e5053f128403
treed9c18985c677e756567a8845129d821d7812ef1a
parent7233046f04c012367e8bcecfc99b597a39c0ad32
[project @ 2000-05-24 12:53:21 by rrt]
Lots of ids added so that all HTML pages generated have sensible names.
Various other little tidies up.

Please merge.
ghc/docs/users_guide/installing.sgml
ghc/docs/users_guide/parallel.sgml
ghc/docs/users_guide/using.sgml