K 10 svn:author V 3 nbm K 8 svn:date V 27 2000-09-28T23:34:49.000000Z K 7 svn:log V 105 If OPENJADE is defined, use the openjade replacement tools like 'openjade', 'onsgmls', like 'osgmlnorm'. END