[/sdf/plan9/dist/src/cmd/proof/]
       
   DIR ..                                                                             
  TEXT font.c                                             2019-Oct-05 00:35     8.8 KB
  TEXT htroff.c                                           2019-Oct-05 00:35    10.0 KB
  TEXT main.c                                             2019-Oct-05 00:35     3.1 KB
  TEXT mkfile                                             2019-Oct-05 00:35     0.2 KB
  TEXT proof.h                                            2019-Oct-05 00:35     0.9 KB
  TEXT screen.c                                           2019-Oct-05 00:35     6.3 KB