| File Name ↓ | File Size ↓ | Date ↓ |
| Parent directory/ | - | - |
| DeadSea_newcode.mf | 53.5 KiB | Oct 24, 1994 |
| Jerusalem_newcode.mf | 46.8 KiB | Oct 24, 1994 |
| OldJaffa_newcode.mf | 47.9 KiB | Oct 24, 1994 |
| TelAviv_newcode.mf | 39.6 KiB | Oct 24, 1994 |
| redis10_newcode.mf | 2.3 KiB | Jun 13, 1992 |
| redis12_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| redis17_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| redis8_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| redis9_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| redis_newcode.mf | 1.1 KiB | Jun 13, 1992 |
| redisbx10_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| redisfont_newcode.mf | 8.1 KiB | Apr 15, 1992 |
| rediss10_newcode.mf | 2.3 KiB | Apr 15, 1992 |
| rediss12_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| rediss8_newcode.mf | 2.4 KiB | Apr 15, 1992 |
| rediss9_newcode.mf | 2.4 KiB | Apr 15, 1992 |