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