K 10 svn:author V 3 jkh K 8 svn:date V 27 1996-01-15T06:14:12.000000Z K 7 svn:log V 133 Merge change 1.57 from HEAD. Leave other diffs alone for now as it appears that some infrastructural changes have occurred as well. END