/support/tcltexed/etc/
../
default.tex
tcltexed.ini
tcltexed.sp1
tcltexed_own.sp0
tcltexed_own.sp1
umlaut.sty