Plan 9 from User Space /usr/local/plan9/src/cmd/proof

--rw-r--r-- M 0  glenda sys  8658 Mar 23 20:59 font.c
--rw-r--r-- M 0  glenda sys 10511 Mar 23 20:59 htroff.c
--rw-r--r-- M 0  glenda sys  3269 Mar 23 20:59 main.c
--rw-r--r-- M 0  glenda sys   160 Mar 23 20:59 mkfile
--rw-r--r-- M 0  glenda sys    95 Mar 23 20:59 portdate
--rw-r--r-- M 0  glenda sys  1067 Mar 23 20:59 proof.h
--rw-r--r-- M 0  glenda sys  6692 Mar 23 20:59 screen.c