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