K 10 svn:author V 3 jkh K 8 svn:date V 27 1996-06-05T02:54:01.000000Z K 7 svn:log V 120 This 3rd mega-commit should hopefully bring us back to where we were. I can get it to `make world' succesfully, anyway! END