K 10 svn:author V 3 jkh K 8 svn:date V 27 1995-05-08T21:39:40.000000Z K 7 svn:log V 123 Sync these up so that they'll get into my CVS tree at home, where I'll continue working on the distribution extract stuff. END