../ 00index.txt 22-Jul-1994 07:49 260 diskx1 22-Jul-1994 07:49 1388 maketag 22-Jul-1994 07:49 2333 tagfile 22-Jul-1994 07:49 2811 tagfile.org 22-Jul-1994 07:49 2811 tagfile.pat 22-Jul-1994 07:49 1852 x_8514.tgz 22-Jul-1994 07:49 373K x_mach32.tgz 22-Jul-1994 07:49 388K x_mach8.tgz 22-Jul-1994 07:49 378K xf_doc.tgz 22-Jul-1994 07:49 146K