Commit e3052ff7229db4317a5bead16bef69ea66fd1c85

Tom Tromey 1996-01-03T21:04:15

Many fixes from Franc,ois