David Webster 16 Feb 1999 21:38:11 -0000
Hate to sound stupid but just what is TeTex? What is it used for?
