Commit 821ce2809f3995ffffc1ef2a7e6412a9ad36eb36

Tom Tromey 1996-02-27T05:55:13

Bug fixes. Rewrote docs