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