| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tftopl.web | 59851 | 1993-Aug-09 11:00 |
| tftopl.ch | 10597 | 1993-Aug-09 11:00 |
| pooltype.web | 16035 | 1993-Aug-09 11:00 |
| pooltype.ch | 3279 | 1993-Aug-09 11:00 |
| pltotf.web | 97195 | 1993-Aug-09 11:00 |
| pltotf.ch | 10124 | 1993-Aug-09 11:00 |
| patgen.web | 48749 | 1993-Aug-09 11:00 |
| patgen.ch | 6504 | 1993-Aug-09 11:00 |
| dvitype.web | 103070 | 1993-Aug-09 11:00 |
| dvitype.tex | 148338 | 1993-Aug-09 11:00 |
| dvitype.log | 799 | 1993-Aug-09 11:00 |
| dvitype.dvi | 242312 | 1993-Aug-09 11:00 |
| dvitype.ch | 13889 | 1993-Aug-09 11:00 |
| Makefile | 2027 | 1993-Aug-09 11:00 |
| CONTENTS.tex | 546 | 1993-Aug-09 11:00 |