| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Makefile | 2515 | 1993-Oct-11 22:45 |
| Makefile.in | 2261 | 1993-Aug-09 11:03 |
| deref.c | 4591 | 1993-Aug-09 11:04 |
| fixfonts | 2488 | 1993-Aug-09 11:04 |
| mkinstalldirs | 619 | 1993-Aug-09 11:04 |
| tex3patch | 1845 | 1993-Aug-09 11:04 |
| texi2dvi | 9344 | 1993-Aug-09 11:04 |
| texindex.c | 39717 | 1993-Aug-09 11:04 |