![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| CREDITS | 1994-11-22 08:24 | 0 |
| FEATURES | 1994-11-22 08:24 | 1.5K |
| INSTALL | 1994-11-22 08:24 | 241 |
| LICENSE | 1994-11-22 08:24 | 18K |
| README | 1994-11-22 08:24 | 5.2K |
| TETEXDOC.tex | 1994-11-22 08:24 | 22K |
| base1 | 1994-11-22 08:24 | 1.1K |
| install.sh | 1994-11-22 08:24 | 14K |
| plain.tgz | 1994-11-22 08:24 | 521K |
| web2c.tgz | 1994-11-22 08:27 | 836K |