![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| cvs.aux | 1993-05-04 11:06 | 9.7K | |
| cvs.cp | 1993-05-04 11:06 | 64 | |
| cvs.dvi | 1993-05-04 11:06 | 248K | |
| cvs.fn | 1993-05-04 11:05 | 0 | |
| cvs.ky | 1993-05-04 11:05 | 0 | |
| cvs.log | 1993-05-04 16:04 | 2.4K | |
| cvs.pg | 1993-05-04 11:05 | 0 | |
| cvs.ps | 1993-05-04 11:16 | 418K | |
| cvs.texinfo | 1993-03-15 19:15 | 175K | |
| cvs.toc | 1993-05-04 11:06 | 6.6K | |
| cvs.tp | 1993-05-04 11:05 | 0 | |
| cvs.vr | 1993-05-04 11:05 | 0 | |
| gpl.texinfo | 1993-03-15 19:13 | 18K | |
| texinfo.tex | 1993-03-15 19:13 | 117K | |
| texput.log | 1993-05-04 11:05 | 158 | |