Improve cross-references and tidy up formatting.
authormdw <mdw>
Fri, 30 Jul 1999 18:44:33 +0000 (18:44 +0000)
committermdw <mdw>
Fri, 30 Jul 1999 18:44:33 +0000 (18:44 +0000)

No differences found