Mode | Name | Size | |
---|---|---|---|
d--------- | translator-basic-dictionary | 608 | logplain |
d--------- | translator-bibliography-dictionary | 598 | logplain |
d--------- | translator-environment-dictionary | 590 | logplain |
d--------- | translator-months-dictionary | 617 | logplain |
d--------- | translator-numbers-dictionary | 626 | logplain |
d--------- | translator-theorem-dictionary | 626 | logplain |