The next major version of Tarski will be 3.2. If you have any feature requests or bug reports, please post on our issue tracker.
Translations, bugs etc.
We’d like to make more translations of Tarski available; if you’re willing to help out, please take a look at the localisation page.
If you have a bug report or a patch to submit against trunk, please post on our issue tracker.