K 10 svn:author V 3 jdp K 8 svn:date V 27 1998-10-03T04:38:58.000000Z K 7 svn:log V 74 Fix "file" so that it prints the program names from core files correctly. END