Index of /pub/software/tex/support/tcltexed/etc/

Filename	Modification time	Size
default.tex	2001-05-11 02:00 CEST	125 B
tcltexed.ini	2001-05-11 02:00 CEST	161 B
tcltexed.sp1	2001-05-11 02:00 CEST	3384 B
tcltexed_own.sp0	2001-05-11 02:00 CEST	2 B
tcltexed_own.sp1	2001-05-11 02:00 CEST	573 B
umlaut.sty	2001-05-11 02:00 CEST	1987 B