Commit e65d07e1a6feef1870b5faef9f8c16fd334ac1d4

Tom Tromey 1995-12-09T00:30:03

Bug fixes. Changes for new naming scheme