00index.txt         260  
diskx1             1388  
maketag            2328  
tagfile            2811  
tagfile.org        2811  
tagfile.pat        1852  
x_8514.tgz       381058  
x_mach32.tgz     396207  
x_mach8.tgz      386021  
xf_doc.tgz       148321  
