![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | ||
![[ ]](/icons/unknown.gif){kind=icon} | 00Contents | 1993-07-15 06:18 | 460 | |
| 00Description | 1993-07-13 17:37 | 216 | |
![[TXT]](/icons/text.gif){kind=icon} | etexkomp.aux | 1994-12-20 03:23 | 1.1K | |
![[ ]](/icons/dvi.gif){kind=icon} | etexkomp.dvi | 1994-12-20 03:23 | 33K | |
| etexkomp.log | 1994-12-20 03:23 | 5.7K | |
![[ ]](/icons/a.gif){kind=icon} | etexkomp.ps | 1994-12-20 03:27 | 29K | |
![[ ]](/icons/tex.gif){kind=icon} | etexkomp.tex | 1992-09-27 00:00 | 19K | |
| figkomp.tex | 1992-09-27 00:00 | 927 | |
| figtotal.tex | 1992-09-27 00:00 | 4.3K | |
| names.sty | 1992-09-27 00:00 | 2.1K | |
| texrep.sty | 1992-09-27 00:00 | 2.1K |