K 10 svn:author V 5 joerg K 8 svn:date V 27 1998-07-21T18:16:16.000000Z K 7 svn:log V 128 Document sef's recent changes in the corefile naming. Reviewed by: sef (well, i believe his `Looks good' was a review result :) END