- Revision 71211: /tarski/languages

• ..
• tarski.pot