/tetex.cfg/1.3/Mon Feb 21 21:36:07 2005//
/tetex_setup.sh/1.3/Mon Feb 21 21:36:07 2005//
D
