[/sdf/plan9/src/plan9/sys/src/cmd/proof/]
       
   DIR ..                                                                             
  TEXT font.c                                             2020-Jun-06 03:17     8.9 KB
  TEXT htroff.c                                           2020-Jun-06 03:17    10.2 KB
  TEXT main.c                                             2020-Jun-06 03:17     3.1 KB
  TEXT mkfile                                             2020-Jun-06 03:17     0.2 KB
  TEXT proof.h                                            2020-Jun-06 03:17     0.9 KB
  TEXT screen.c                                           2020-Jun-06 03:17     6.5 KB