K 10 svn:author V 5 asami K 8 svn:date V 27 1996-11-09T13:00:37.000000Z K 7 svn:log V 61 Added dvi2ps and vfxdvi (now that's one hard-to-type word!). END