../ default.tex 11-May-2001 08:00 125 tcltexed.ini 11-May-2001 08:00 161 tcltexed.sp1 11-May-2001 08:00 3384 tcltexed_own.sp0 11-May-2001 08:00 2 tcltexed_own.sp1 11-May-2001 08:00 573 umlaut.sty 11-May-2001 08:00 1987