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