Name Last modified Size Description![[TXT]](/icons/text.gif){kind=icon}
README 14-Aug-1990 09:26 3.5K
README.ucsc 19-Jan-1993 09:13 1.3K
![[DIR]](/icons/folder.gif){kind=icon}
SPEC92/ 18-Mar-1994 10:22 -
![[ ]](/icons/compressed.gif){kind=icon}
gcc.tar.gz 14-Feb-1992 12:02 688K
machinetrace/ 15-Mar-1996 17:35 -
![[ ]](/icons/unknown.gif){kind=icon}
makebench 20-Nov-1992 09:54 1.2K
makefile.bench 13-Jan-1992 15:22 3.1K
standard/ 29-Jan-1997 10:17 -
tex.tar.gz 05-Apr-1994 16:40 229K
toy/ 29-Jan-1997 10:17 -
util/ 29-Jan-1997 10:17 -