Thanks to Google Code, we now have a Tarski Subversion repository. The trunk can be accessed via the web at http://tarski.googlecode.com/svn/trunk/, and the Google Code project for Tarski is here.
Those with svn installed on the command line can use the following command to checkout the latest and greatest (and use-at-your-own-risk) version of Tarski:
svn checkout http://tarski.googlecode.com/svn/trunk/ tarski
If anyone feels like explaining what tags and branches are in Subversion and how I should be using them for Tarski, that’d be awesome. Revision 2 on the repository is 1.3, and revision 3 is 1.4.
.pot files will be available as a branch as soon as I figure out how to get ZigVersion to do them. :-)