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