Commit edcddfb7e3bdc5626dec05e18fe80d036e754eca

Tom Tromey 1996-06-07T21:08:40

Various fixes