![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| des-how-to.txt | 09-Mar-1995 00:00 | 12K | |
| des.el.gz | 19-Sep-1994 00:00 | 6.9K | |
| descore.shar.gz | 19-Sep-1994 00:00 | 18K | |
| libdes.tar.93-10-08.gz | 23-Sep-1994 00:00 | 60K | |
| ufc1.gz | 19-Sep-1994 00:00 | 13K | |
| ufc2.gz | 19-Sep-1994 00:00 | 16K | |