Commit f7fdedd74a74fdde7770c5e3e0363e5a848ff82c

Tom Tromey 1996-02-27T16:46:02

More doc fixes