Commit 43c3b86dfbc41df600757b323114bcf69c015141

Tom Tromey 1996-08-04T21:04:56

Even more bug fixes