00index.txt         286  
diskap1            1776  
jove.tgz         125981  
maketag            2425  
man.tgz          443033  
tagfile            1948  
tagfile.org        1948  
tagfile.pat         392  
termbin.tgz      177965  
termnet.tgz       88239  
termsrc.tgz      202438  
