![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| basis4.idx | 1994-06-17 02:00 | 815 | |
| ddosem49.tgz | 1994-05-27 02:00 | 94K | |
| dgerman.tgz | 1994-05-14 02:00 | 29K | |
| docmisc.tgz | 1994-06-12 02:00 | 353K | |
| dvim_2_0.tgz | 1994-05-03 02:00 | 118K | |
| faqs1.tgz | 1994-06-12 02:00 | 132K | |
| howto18.tgz | 1994-05-26 02:00 | 359K | |
| instan18.tgz | 1994-06-06 02:00 | 146K | |
| man4_9.tgz | 1994-05-01 02:00 | 43K | |
| texinf31.tgz | 1994-05-01 02:00 | 96K | |