[/sdf/plan9/hysterical/plan9-2e/sys/src/cmd/proof/]

       
       
 (DIR) ..                                                                             
 (TXT) font.c                                             1995-Apr-05 04:20     8.0 KB
 (TXT) htroff.c                                           1995-Apr-05 04:20     9.8 KB
 (TXT) main.c                                             1995-Apr-05 04:20     1.6 KB
 (TXT) mkfile                                             1995-Apr-05 04:20     0.2 KB
 (TXT) proof.h                                            1995-Apr-05 04:20     0.7 KB
 (TXT) screen.c                                           1995-Apr-05 04:20     6.2 KB