/src/cmd/proof/ - Plan 9 from User Space

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

-rw-r--r--  1 rsc  users   8664 Jan  4  2005 font.c
-rw-r--r--  1 rsc  users  10515 Jan  4  2005 htroff.c
-rw-r--r--  1 rsc  users   3271 Jan  4  2005 main.c
-rw-r--r--  1 rsc  users    160 Jan  4  2005 mkfile
-rw-r--r--  1 rsc  users     95 Jan  4  2005 portdate
-rw-r--r--  1 rsc  users   1067 Apr 22  2006 proof.h
-rw-r--r--  1 rsc  users   6692 Aug 12  2005 screen.c