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