00index.txt         234  
diskt1              243  
files.tex          4461  
tagfile             838  
tagfile.org         838  
tagfile.pat         838  
texbin.tgz       599068  
texlib.tgz       438402  
textfm.tgz       121836