| File Name ↓ | File Size ↓ | Date ↓ |
| Parent directory/ | - | - |
| DeadSea_newcode.tfm | 1.2 KiB | Jan 5, 1992 |
| Jerusalem_newcode.tfm | 1.2 KiB | Jan 5, 1992 |
| OldJaffa_newcode.tfm | 1.2 KiB | Jan 5, 1992 |
| TelAviv_newcode.tfm | 1.2 KiB | Jan 5, 1992 |
| fr.tfm | 1.2 KiB | Nov 15, 1995 |
| frbx.tfm | 1.2 KiB | Nov 15, 1995 |
| frsl.tfm | 1.2 KiB | Nov 15, 1995 |
| redis10_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| redis12_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| redis17_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| redis8_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| redis9_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| redisbx10_newcode.tfm | 1.3 KiB | Oct 21, 1992 |
| rediss10_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| rediss12_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| rediss8_newcode.tfm | 1.3 KiB | Apr 15, 1992 |
| rediss9_newcode.tfm | 1.3 KiB | Apr 15, 1992 |