| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| doc2tex.l | 2797 | 06-Oct-1990 00:00 |
| makeprog.web | 39K | 25-Sep-1990 00:00 |
| progdoc.doc | 21K | 21-Sep-1990 00:00 |
| progdoc.tex | 5564 | 22-Sep-1990 00:00 |
| progltx.doc | 24K | 25-May-1990 00:00 |
| progltx.sty | 4268 | 25-May-1990 00:00 |
| tex2doc.l | 205 | 06-Oct-1990 00:00 |