Commit 7434bb5fb0280c536a029e42a6e1523b8fc6c762

Tom Tromey 1997-06-01T19:54:31

various bug fixes