proper_name        92 lib/propername.h extern const char * proper_name (const char *name);
proper_name        44 src/cmp.c        proper_name ("David MacKenzie")
proper_name        48 src/diff.c       proper_name ("Paul Eggert"), \
proper_name        49 src/diff.c       proper_name ("Mike Haertel"), \
proper_name        50 src/diff.c       proper_name ("David Hayes"), \
proper_name        51 src/diff.c       proper_name ("Richard Stallman"), \
proper_name        52 src/diff.c       proper_name ("Len Tower")
proper_name        41 src/diff3.c      proper_name ("Randy Smith")
proper_name        42 src/sdiff.c      proper_name ("Thomas Lord")