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

--rw-r--r-- M 0  glenda sys  8658 Jun 15 10:57 font.c
--rw-r--r-- M 0  glenda sys 10511 Jun 15 10:57 htroff.c
--rw-r--r-- M 0  glenda sys  3269 Jun 15 10:57 main.c
--rw-r--r-- M 0  glenda sys   160 Jun 15 10:57 mkfile
--rw-r--r-- M 0  glenda sys    95 Jun 15 10:57 portdate
--rw-r--r-- M 0  glenda sys  1067 Jun 15 10:57 proof.h
--rw-r--r-- M 0  glenda sys  6692 Jun 15 10:57 screen.c