Commit 642c65331aab458ddcb54703d8ff01e1bf920310

Tom Tromey 1996-09-08T20:15:14

Doc updates. Bug fixes. Removed old files. Check versions