../ CREDITS 22-Nov-1994 15:24 0 FEATURES 22-Nov-1994 15:24 1508 INSTALL 22-Nov-1994 15:24 241 LICENSE 22-Nov-1994 15:24 18440 README 22-Nov-1994 15:24 5322 TETEXDOC.tex 22-Nov-1994 15:24 22122 base1 22-Nov-1994 15:24 1166 install.sh 22-Nov-1994 15:24 14800 plain.tgz 22-Nov-1994 15:24 533197 web2c.tgz 22-Nov-1994 15:27 856095