Commit 8cb397664f812b831d7f2a23d1cb84b32d21fe4b

Tom Tromey 1996-05-18T17:32:54

More fixes