Commit 932aa16ee0ff5c4c838ed97df0238a0c8d587130

Tom Tromey 1996-09-13T01:05:20

doc tweaks