| Name | Last modified | Size | Description |
|
| Parent Directory | | - | |
| translator.tex | 2021-05-31 14:31 | 22K | |
| translator.sty | 2021-05-31 14:31 | 8.6K | |
| translator.pdf | 2021-05-31 14:31 | 205K | |
| translator-theorem-dictionary-Turkish.dict | 2021-05-31 14:31 | 3.8K | |
| translator-theorem-dictionary-Swedish.dict | 2021-05-31 14:31 | 3.5K | |
| translator-theorem-dictionary-Spanish.dict | 2021-05-31 14:31 | 3.7K | |
| translator-theorem-dictionary-Serbian.dict | 2021-05-31 14:31 | 3.5K | |
| translator-theorem-dictionary-Russian.dict | 2021-05-31 14:31 | 4.4K | |
| translator-theorem-dictionary-Portuguese.dict | 2021-05-31 14:31 | 4.2K | |
| translator-theorem-dictionary-Polish.dict | 2021-05-31 14:31 | 3.7K | |
| translator-theorem-dictionary-Norsk.dict | 2021-05-31 14:31 | 3.5K | |
| translator-theorem-dictionary-Italian.dict | 2021-05-31 14:31 | 3.7K | |
| translator-theorem-dictionary-Greek.dict | 2021-05-31 14:31 | 3.9K | |
| translator-theorem-dictionary-German.dict | 2021-05-31 14:31 | 3.6K | |
| translator-theorem-dictionary-French.dict | 2021-05-31 14:31 | 3.7K | |
| translator-theorem-dictionary-English.dict | 2021-05-31 14:31 | 3.4K | |
| translator-theorem-dictionary-Dutch.dict | 2021-05-31 14:31 | 3.6K | |
| translator-theorem-dictionary-Danish.dict | 2021-05-31 14:31 | 3.6K | |
| translator-theorem-dictionary-Czech.dict | 2021-05-31 14:31 | 3.9K | |
| translator-theorem-dictionary-Croatian.dict | 2021-05-31 14:31 | 3.6K | |
| translator-theorem-dictionary-Catalan.dict | 2021-05-31 14:31 | 3.6K | |
| translator-theorem-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 4.4K | |
| translator-numbers-dictionary-Turkish.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-Swedish.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Spanish.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Serbian.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-Russian.dict | 2021-05-31 14:31 | 1.9K | |
| translator-numbers-dictionary-Portuguese.dict | 2021-05-31 14:31 | 1.9K | |
| translator-numbers-dictionary-Polish.dict | 2021-05-31 14:31 | 1.8K | |
| translator-numbers-dictionary-Nynorsk.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Norsk.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Italian.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-Greek.dict | 2021-05-31 14:31 | 1.8K | |
| translator-numbers-dictionary-German.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-French.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-English.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Dutch.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Danish.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Czech.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-Croatian.dict | 2021-05-31 14:31 | 1.7K | |
| translator-numbers-dictionary-Catalan.dict | 2021-05-31 14:31 | 1.6K | |
| translator-numbers-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 1.9K | |
| translator-months-dictionary-Turkish.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Swedish.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Spanish.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Serbian.dict | 2021-05-31 14:31 | 1.4K | |
| translator-months-dictionary-Russian.dict | 2021-05-31 14:31 | 1.5K | |
| translator-months-dictionary-Portuguese.dict | 2021-05-31 14:31 | 1.7K | |
| translator-months-dictionary-Polish.dict | 2021-05-31 14:31 | 1.4K | |
| translator-months-dictionary-Nynorsk.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Norsk.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Italian.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Greek.dict | 2021-05-31 14:31 | 1.5K | |
| translator-months-dictionary-German.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-French.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-English.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Dutch.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Danish.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Czech.dict | 2021-05-31 14:31 | 1.4K | |
| translator-months-dictionary-Croatian.dict | 2021-05-31 14:31 | 1.4K | |
| translator-months-dictionary-Catalan.dict | 2021-05-31 14:31 | 1.3K | |
| translator-months-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 1.5K | |
| translator-environment-dictionary-Turkish.dict | 2021-05-31 14:31 | 453 | |
| translator-environment-dictionary-Swedish.dict | 2021-05-31 14:31 | 413 | |
| translator-environment-dictionary-Spanish.dict | 2021-05-31 14:31 | 429 | |
| translator-environment-dictionary-Serbian.dict | 2021-05-31 14:31 | 480 | |
| translator-environment-dictionary-Russian.dict | 2021-05-31 14:31 | 521 | |
| translator-environment-dictionary-Portuguese.dict | 2021-05-31 14:31 | 477 | |
| translator-environment-dictionary-Polish.dict | 2021-05-31 14:31 | 455 | |
| translator-environment-dictionary-Italian.dict | 2021-05-31 14:31 | 417 | |
| translator-environment-dictionary-Greek.dict | 2021-05-31 14:31 | 625 | |
| translator-environment-dictionary-German.dict | 2021-05-31 14:31 | 408 | |
| translator-environment-dictionary-French.dict | 2021-05-31 14:31 | 432 | |
| translator-environment-dictionary-English.dict | 2021-05-31 14:31 | 433 | |
| translator-environment-dictionary-Dutch.dict | 2021-05-31 14:31 | 403 | |
| translator-environment-dictionary-Danish.dict | 2021-05-31 14:31 | 396 | |
| translator-environment-dictionary-Czech.dict | 2021-05-31 14:31 | 415 | |
| translator-environment-dictionary-Croatian.dict | 2021-05-31 14:31 | 476 | |
| translator-environment-dictionary-Catalan.dict | 2021-05-31 14:31 | 433 | |
| translator-environment-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 511 | |
| translator-bibliography-dictionary-Turkish.dict | 2021-05-31 14:31 | 943 | |
| translator-bibliography-dictionary-Swedish.dict | 2021-05-31 14:31 | 926 | |
| translator-bibliography-dictionary-Spanish.dict | 2021-05-31 14:31 | 915 | |
| translator-bibliography-dictionary-Serbian.dict | 2021-05-31 14:31 | 1.0K | |
| translator-bibliography-dictionary-Russian.dict | 2021-05-31 14:31 | 1.1K | |
| translator-bibliography-dictionary-Portuguese.dict | 2021-05-31 14:31 | 1.1K | |
| translator-bibliography-dictionary-Polish.dict | 2021-05-31 14:31 | 1.0K | |
| translator-bibliography-dictionary-Italian.dict | 2021-05-31 14:31 | 908 | |
| translator-bibliography-dictionary-Greek.dict | 2021-05-31 14:31 | 1.1K | |
| translator-bibliography-dictionary-German.dict | 2021-05-31 14:31 | 952 | |
| translator-bibliography-dictionary-French.dict | 2021-05-31 14:31 | 953 | |
| translator-bibliography-dictionary-English.dict | 2021-05-31 14:31 | 903 | |
| translator-bibliography-dictionary-Dutch.dict | 2021-05-31 14:31 | 929 | |
| translator-bibliography-dictionary-Danish.dict | 2021-05-31 14:31 | 900 | |
| translator-bibliography-dictionary-Czech.dict | 2021-05-31 14:31 | 1.0K | |
| translator-bibliography-dictionary-Croatian.dict | 2021-05-31 14:31 | 1.0K | |
| translator-bibliography-dictionary-Catalan.dict | 2021-05-31 14:31 | 895 | |
| translator-bibliography-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 1.1K | |
| translator-basic-dictionary-Turkish.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-Swedish.dict | 2021-05-31 14:31 | 3.3K | |
| translator-basic-dictionary-Spanish.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-Serbian.dict | 2021-05-31 14:31 | 3.4K | |
| translator-basic-dictionary-Russian.dict | 2021-05-31 14:31 | 4.1K | |
| translator-basic-dictionary-Portuguese.dict | 2021-05-31 14:31 | 2.8K | |
| translator-basic-dictionary-Polish.dict | 2021-05-31 14:31 | 3.5K | |
| translator-basic-dictionary-Nynorsk.dict | 2021-05-31 14:31 | 3.4K | |
| translator-basic-dictionary-Norsk.dict | 2021-05-31 14:31 | 3.3K | |
| translator-basic-dictionary-Italian.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-Greek.dict | 2021-05-31 14:31 | 3.7K | |
| translator-basic-dictionary-German.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-French.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-English.dict | 2021-05-31 14:31 | 3.5K | |
| translator-basic-dictionary-Dutch.dict | 2021-05-31 14:31 | 3.5K | |
| translator-basic-dictionary-Danish.dict | 2021-05-31 14:31 | 3.3K | |
| translator-basic-dictionary-Czech.dict | 2021-05-31 14:31 | 3.6K | |
| translator-basic-dictionary-Croatian.dict | 2021-05-31 14:31 | 3.5K | |
| translator-basic-dictionary-Catalan.dict | 2021-05-31 14:31 | 3.4K | |
| translator-basic-dictionary-Bulgarian.dict | 2021-05-31 14:31 | 4.1K | |
| README.md | 2021-05-31 14:31 | 575 | |
|