| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00-README | 774 | 1995-Feb-15 09:00 | |
| MakeTeXMF | 1325 | 1995-Feb-15 09:00 | |
| MakeTeXPK | 9835 | 1995-Mar-15 09:00 | |
| MakeTeXTFM | 8312 | 1995-Feb-15 09:00 | |
| append_db | 764 | 1995-Feb-15 09:00 | |
| maketex.c | 2649 | 1995-Feb-16 09:00 | |
| safeMakeTeXPK.tex | 13767 | 1995-Feb-16 09:00 | |