[project @ 2004-08-18 16:42:51 by panne]
authorpanne <unknown>
Wed, 18 Aug 2004 16:42:56 +0000 (16:42 +0000)
committerpanne <unknown>
Wed, 18 Aug 2004 16:42:56 +0000 (16:42 +0000)
commitb6bdc1892e0759f1f3bbbc7e162b57fd12f95dd6
treee44d822a9d34755d45eb8de8c6a0558b48a530e1
parent88ef3d2674a029efb7d3c35396385638b37280c4
[project @ 2004-08-18 16:42:51 by panne]
Re-added indices + minor fixes
docs/building/building.xml
ghc/docs/users_guide/phases.xml
ghc/docs/users_guide/ug-book.xml