| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| translator-numbers-dictionary-Arabic.dict | 1.8 KiB | 2020-Jul-29 10:18 | |
| translator-bibliography-dictionary-Arabic.dict | 958 B | 2020-Aug-03 15:42 | |
| translator-environment-dictionary-Arabic.dict | 420 B | 2020-Aug-03 15:45 | |
| translator-basic-dictionary-Arabic.dict | 3.9 KiB | 2022-Dec-11 20:00 | |
| translator-theorem-dictionary-Arabic.dict | 3.5 KiB | 2022-Dec-16 17:21 | |