/tetex.cfg/1.2/Fri May 21 20:05:42 2004//
/tetex_setup.sh/1.2/Fri May 21 20:05:42 2004//
D
