/tetex.cfg/1.3/Tue Mar  8 03:03:48 2005//
/tetex_setup.sh/1.3/Tue Mar  8 03:03:48 2005//
D
