| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| default.tex | 125 | 2001-May-11 09:00 | |
| tcltexed.ini | 161 | 2001-May-11 09:00 | |
| tcltexed.sp1 | 3384 | 2001-May-11 09:00 | |
| tcltexed_own.sp0 | 2 | 2001-May-11 09:00 | |
| tcltexed_own.sp1 | 573 | 2001-May-11 09:00 | |
| umlaut.sty | 1987 | 2001-May-11 09:00 | |