Commit 5c141a4e1db1b8a6b6246814896d8d227e1ee9c4

Tom Tromey 1996-04-05T08:23:35

Doc updates