/sources/plan9/sys/src/cmd/proof/
      9067 2010-10-08 font.c
     10496 2000-04-09 htroff.c
      3197 2008-05-10 main.c
       180 1999-12-12 mkfile
       919 2000-04-09 proof.h
      6673 2008-03-04 screen.c