Commit a6c80a1ebadea87105645a0dea9a515d56b9ee65

Tom Tromey 1998-11-10T09:51:35

Doc improvement from Akim Demaille.