/tetex.cfg/1.1/Fri Apr  4 21:22:15 2003//
/tetex_setup.sh/1.1/Fri Apr  4 21:22:15 2003//
D
