translator-1.00/dicts/translator-basic-dictionary/translator-basic-dictionary-English.dict
translator-1.00/dicts/translator-basic-dictionary/translator-basic-dictionary-German.dict
translator-1.00/dicts/translator-basic-dictionary/translator-basic-dictionary-French.dict
translator-1.00/dicts/translator-bibliography-dictionary/translator-bibliography-dictionary-English.dict
translator-1.00/dicts/translator-bibliography-dictionary/translator-bibliography-dictionary-German.dict
translator-1.00/dicts/translator-bibliography-dictionary/translator-bibliography-dictionary-French.dict
translator-1.00/dicts/translator-environment-dictionary/translator-environment-dictionary-English.dict
translator-1.00/dicts/translator-environment-dictionary/translator-environment-dictionary-German.dict
translator-1.00/dicts/translator-environment-dictionary/translator-environment-dictionary-French.dict
translator-1.00/dicts/translator-months-dictionary/translator-months-dictionary-English.dict
translator-1.00/dicts/translator-months-dictionary/translator-months-dictionary-German.dict
translator-1.00/dicts/translator-months-dictionary/translator-months-dictionary-French.dict
translator-1.00/dicts/translator-numbers-dictionary/translator-numbers-dictionary-English.dict
translator-1.00/dicts/translator-numbers-dictionary/translator-numbers-dictionary-German.dict
translator-1.00/dicts/translator-numbers-dictionary/translator-numbers-dictionary-French.dict
translator-1.00/dicts/translator-theorem-dictionary/translator-theorem-dictionary-English.dict
translator-1.00/dicts/translator-theorem-dictionary/translator-theorem-dictionary-German.dict
translator-1.00/dicts/translator-theorem-dictionary/translator-theorem-dictionary-French.dict
translator-1.00/base/translator-language-mappings.tex
translator-1.00/base/translator.sty
translator-1.00/doc/English/translator-manual-en-macros.tex
translator-1.00/doc/English/translator-manual-en.tex
translator-1.00/doc/English/translator-manual-en.pdf
translator-1.00/FILES
translator-1.00/README
translator-1.00/ChangeLog