| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| DeadSea_newcode.tfm | 1264 | 05-Jan-1992 23:00 |
| Jerusalem_newcode.tfm | 1256 | 05-Jan-1992 23:00 |
| OldJaffa_newcode.tfm | 1272 | 05-Jan-1992 23:00 |
| TelAviv_newcode.tfm | 1264 | 05-Jan-1992 23:00 |
| fr.tfm | 1184 | 15-Nov-1995 23:00 |
| frbx.tfm | 1184 | 15-Nov-1995 23:00 |
| frsl.tfm | 1184 | 15-Nov-1995 23:00 |
| redis10_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| redis12_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| redis17_newcode.tfm | 1284 | 15-Apr-1992 22:00 |
| redis8_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| redis9_newcode.tfm | 1284 | 15-Apr-1992 22:00 |
| redisbx10_newcode.tfm | 1296 | 21-Oct-1992 23:00 |
| rediss10_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| rediss12_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| rediss8_newcode.tfm | 1288 | 15-Apr-1992 22:00 |
| rediss9_newcode.tfm | 1284 | 15-Apr-1992 22:00 |