00index.txt         312  
diskap1            1360  
english.tgz      375656  
ispell.tgz       240238  
jove.tgz         126716  
man.tgz          403460  
manpgs.tgz        40378  
tagfile            2801  
tagfile.org        2801  
tagfile.pat        2791  
termbin.tgz       40240  
termsrc.tgz       93933