![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| uktex.01.gz | 27-Sep-1992 01:00 | 4.1K | |
| uktex.02.gz | 27-Sep-1992 01:00 | 4.6K | |
| uktex.03.gz | 27-Sep-1992 01:00 | 6.2K | |
| uktex.04.gz | 27-Sep-1992 01:00 | 4.9K | |
| uktex.05.gz | 27-Sep-1992 01:00 | 6.0K | |
| uktex.06.gz | 27-Sep-1992 01:00 | 9.8K | |
| uktex.07.gz | 27-Sep-1992 01:00 | 2.5K | |
| uktex.08.gz | 27-Sep-1992 01:00 | 4.9K | |
| uktex.09.gz | 27-Sep-1992 01:00 | 1.4K | |
| uktex.10.gz | 27-Sep-1992 01:00 | 5.1K | |
| uktex.11.gz | 27-Sep-1992 01:00 | 4.5K | |
| uktex.12.gz | 27-Sep-1992 01:00 | 3.3K | |
| uktex.13.gz | 27-Sep-1992 01:00 | 3.3K | |
| uktex.14.gz | 27-Sep-1992 01:00 | 4.4K | |
| uktex.15.gz | 27-Sep-1992 01:00 | 9.2K | |
| uktex.16.gz | 27-Sep-1992 01:00 | 4.2K | |
| uktex.17.gz | 27-Sep-1992 01:00 | 4.6K | |
| uktex.18.gz | 27-Sep-1992 01:00 | 6.9K | |
| uktex.19.gz | 27-Sep-1992 01:00 | 2.5K | |