Name Last modified Size Description
Parent Directory -
des-how-to.txt 1995-03-09 22:00 12K
des.el.gz 1994-09-19 00:00 6.9K
descore.shar.gz 1994-09-19 00:00 18K
libdes.tar.93-10-08.gz 1994-09-23 00:00 60K
ufc1.gz 1994-09-19 00:00 13K
ufc2.gz 1994-09-19 00:00 16K