Carry through changes to the interface properly in the documentation.
authormdw <mdw>
Thu, 20 May 1999 23:00:30 +0000 (23:00 +0000)
committermdw <mdw>
Thu, 20 May 1999 23:00:30 +0000 (23:00 +0000)
Other little formatting things.


No differences found